Sciweavers

2440 search results - page 256 / 488
» Explanation-Based Feature Construction
Sort
View
ACL
1998
15 years 7 months ago
MindNet: Acquiring and Structuring Semantic Information from Text
As a lexical knowledge base constructed automatically from the definitions and example sentences in two machine-readable dictionaries (MRDs), MindNet embodies several features tha...
Stephen D. Richardson, William B. Dolan, Lucy Vand...
IJCAI
1997
15 years 7 months ago
Structural Inferences from Massive Datasets
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...
Kenneth Yip
FTCS
1993
81views more  FTCS 1993»
15 years 7 months ago
Nonblocking and Orphan-Free Message Logging Protocols
Currently existing message logging protocols demonstrate a classic pessimistic vs. optimistic tradeoff. We show that the optimistic–pessimistic tradeoff is not inherent to the p...
Lorenzo Alvisi, Bruce Hoppe, Keith Marzullo
AAAI
1990
15 years 7 months ago
Mechanizing Inductive Reasoning
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
Emmanuel Kounalis, Michaël Rusinowitch
ANLP
1992
148views more  ANLP 1992»
15 years 7 months ago
The ACQUILEX LKB: representation issues in semi-automatic acquisition of large lexicons
We describe the lexical knowledge base system (LKB) which has been designed and implemented as part of the ACQUILEX project1 to allow the representation of multilinguM syntactic a...
Ann A. Copestake