3408 search results - page 439 / 682 » Logic, language, information and computation |
113
click to vote
ACL
2011
14 years 4 months ago
2011
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...
105
click to vote
ACL
2012
13 years 3 months ago
2012
We present UWN, a large multilingual lexical knowledge base that describes the meanings and relationships of words in over 200 languages. This paper explains how link prediction, ...
136
Voted
EFDBS
2003
15 years 2 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
87
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...
110
Voted
CCGRID
2005
IEEE
15 years 6 months ago
2005
IEEE
Data services for the Grid have focussed so far primarily on virtualising access to distributed databases, and encapsulating file location. However, orchestration of services requ...