2226 search results - page 256 / 446 » Pdk: The System and Its Language |
180
click to vote
SIGIR
2003
ACM
15 years 12 months ago
2003
ACM
Following the tradition of these acceptance talks, I will be giving my thoughts on where our field is going. Any discussion of the future of information retrieval (IR) research, h...
163
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...
200
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
174
click to vote
TABLEAUX
2005
Springer
16 years 2 days ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
168
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...