Sciweavers

607 search results - page 45 / 122
» Unifying Exact Completions
Sort
View
IJCAI
2001
15 years 2 months 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 1 months 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
100
Voted
ACL
1996
15 years 1 months 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
122
Voted
SOCO
2002
Springer
15 years 7 days 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
128
Voted
RSA
2010
118views more  RSA 2010»
14 years 11 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