Search results
Results From The WOW.Com Content Network
Open-source semantic desktop search tool for Linux. Has been replaced by Baloo in KDE Applications from release 4.13 onward. License SA 3.0 and the GNU Free Documentation License 1.2 Recoll: Linux, Unix, Windows, macOS: Open-source desktop search tool for Unix/Linux GPL : Spotlight: macOS: Found in Apple Mac OS X "Tiger" and later OS X releases ...
The main academic full-text databases are open archives or link-resolution services, although others operate under different models such as mirroring or hybrid publishers. Such services typically provide access to full text and full-text search, but also metadata about items for which no full text is available.
Interment.net. Internet Archive. Internet Broadway Database. Internet Movie Cars Database. Internet Movie Firearms Database. Internet Off-Broadway Database. Internet Public Library. Internet Speculative Fiction Database. Internet Theatre Database.
Line information database. The line information database ( LIDB) is a collection of commercial databases used in the United States and Canada by telephone companies to store and retrieve Calling Name Presentation (CNAM) data used for caller ID services. In Canada, it is common for the client to apply their own Caller ID information, and this is ...
The Industry Sorting Code Directory (ISCD) is the definitive list of bank branches and sub branches in the United Kingdom. The directory is maintained by VocaLink on behalf of UK Payments Administration (formally APACS ). The ISCD contains the sort code, SWIFT Bank Identifier Code (BIC), payment information, clearing information and contact ...
List of GIS data sources. This is a list of GIS data sources (including some geoportals) that provide information sets that can be used in geographic information systems (GIS) and spatial databases for purposes of geospatial analysis and cartographic mapping. This list categorizes the sources of interest.
List of aircraft type designators. An aircraft type designator is a two-, three- or four-character alphanumeric code designating every aircraft type (and some sub-types) that may appear in flight planning. These codes are defined by both the International Civil Aviation Organization (ICAO) and the International Air Transport Association (IATA).
A list of verification tools for probabilistic, stochastic, hybrid, and timed systems. Common benchmarks. MCC (models of the Model Checking Contest): a collection of hundreds of Petri nets originating from many academic and industrial case studies. VLTS (Very Large Transition Systems): a collection of Labelled Transition Systems of increasing ...