3844 search results - page 407 / 769 » Modular interpreted systems |
169
click to vote
VR
2008
IEEE
16 years 17 days ago
2008
IEEE
Interaction in conversational interfaces strongly relies on the system’s capability to interpret the user’s references to objects via deictic expressions. Deictic gestures, es...
162
click to vote
ICCBR
2007
Springer
16 years 10 days ago
2007
Springer
The aim of this paper is to analyze how the generalizations built by a CBR method can be used as local approximations of a concept. From this point of view, these local approximati...
131
click to vote
LICS
2006
IEEE
16 years 6 days ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
148
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
In this poster we present an overview of the techniques we used to develop and evaluate a text categorisation system for the PRINCIP project which sets out to automatically classi...
180
click to vote
LOPSTR
2004
Springer
15 years 11 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...