Sciweavers

607 search results - page 45 / 122
» Unifying Exact Completions
Sort
View
IJCAI
2001
15 years 12 days ago
Ontology Reasoning in the SHOQ(D) Description Logic
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...
Ian Horrocks, Ulrike Sattler
MCU
1998
117views Hardware» more  MCU 1998»
15 years 10 days ago
The Turing Closure of an Archimedean Field
A BSS machine is -uniform if it does not use exact tests; such machines are equivalent (modulo parameters) to Type 2 Turing machines. We define a notion of closure related to Turi...
Paolo Boldi, Sebastiano Vigna
ACL
1996
15 years 10 days ago
Efficient Normal-Form Parsing for Combinatory Categorial Grammar
Under categorial grammars that have powerful rules like composition, a simple n-word sentence can have exponentially many parses. Generating all parses is inefficient and obscures...
Jason Eisner
SOCO
2002
Springer
14 years 10 months ago
Fuzzy logic and the Internet (FLINT): Internet, World Wide Web, and search engines
Retrieving relevant information is a crucial component of cased-based reasoning systems for Internet applications such as search engines. The task is to use user-defined queries to...
Masoud Nikravesh, Vincenzo Loia, Behnam Azvine
RSA
2010
118views more  RSA 2010»
14 years 9 months ago
Weight of a link in a shortest path tree and the Dedekind Eta function
The weight of a randomly chosen link in the shortest path tree on the complete graph with exponential i.i.d. link weights is studied. The corresponding exact probability generatin...
Piet Van Mieghem