2621 search results - page 223 / 525 » Generalized Algorithms for Constructing Statistical Language... |
87
Voted
AAAI
2008
15 years 16 days ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
IJCNLP
2004
Springer
15 years 3 months ago
2004
Springer
One problem seriously affecting CLIR performance is the processing of queries with embedded foreign names. A proper noun dictionary is never complete rendering name translation fr...
105
click to vote
NAACL
2003
14 years 11 months ago
2003
Searching online information is increasingly a daily activity for many people. The multilinguality of online content is also increasing (e.g. the proportion of English web users, ...
76
Voted
NJC
2006
14 years 10 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
88
Voted
EURODAC
1994
IEEE
15 years 2 months ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...