6201 search results - page 160 / 1241 » Implementation of Axiomatic Language |
120
click to vote
LREC
2010
15 years 6 months ago
2010
In this paper, we deal with information retrieval approach based on language model paradigm, which has been intensively investigated in recent years. We propose, implement, and ev...
143
Voted
DAGSTUHL
2003
15 years 6 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
139
click to vote
AAAI
2000
15 years 5 months ago
2000
A serious shortcoming of many Description Logic based knowledge representation systems is the inadequacy of their query languages. In this paper we present a novel technique that ...
122
Voted
IJCAI
1989
15 years 5 months ago
1989
The set of partially interdependent lexical and syntactic decisions that have to be made in the process of natural language generation are best seen as a complex planning and sear...
116
click to vote
CORR
2009
Springer
15 years 2 months ago
2009
Springer
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...