6201 search results - page 887 / 1241 » Implementation of Axiomatic Language |
137
click to vote
DATESO
2004
15 years 8 months ago
2004
In this paper we present a storage method for sets of first order logic terms in a relational database using function symbols based indexing method of Discrimination trees. This is...
178
click to vote
CSREAPSC
2006
15 years 8 months ago
2006
- The use of a PDA with ad-hoc built-in information retrieval functionalities can help people in visiting an historical site in a natural manner instead of traditional audio/visual...
193
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations their com...
166
click to vote
EMNLP
2004
15 years 8 months ago
2004
Paraphrase recognition is a critical step for natural language interpretation. Accordingly, many NLP applications would benefit from high coverage knowledge bases of paraphrases. ...
166
click to vote
FLAIRS
2004
15 years 8 months ago
2004
It is a vital and challenging issue in AI community to get the "Right Information" to the "Right People" in the "Right Language" in the "Right T...