12774 search results - page 2267 / 2555 » A Framework for Proof Systems |
179
click to vote
SSDBM
2003
IEEE
16 years 16 hour ago
2003
IEEE
Relational index structures, as for instance the Relational Interval Tree, the Relational R-Tree, or the Linear Quadtree, support efficient processing of queries on top of existin...
166
click to vote
JCDL
2003
ACM
16 years 5 hour ago
2003
ACM
Niche Search Engines offer an efficient alternative to traditional search engines when the results returned by general-purpose search engines do not provide a sufficient degree of...
177
click to vote
VRST
2003
ACM
16 years 51 min ago
2003
ACM
Virtual environments (VEs) allow users to experience and interact with a rich sensory environment, but most virtual worlds contain only sensory information similar to that which w...
225
click to vote
AGENTCL
2003
Springer
15 years 12 months ago
2003
Springer
The goal of this paper is to present a computational framework that enables us to generate elementary speech act sequences in a dialogue between an electronic assistant and a compu...
155
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Effective human teams often benefit from proactivity through members’ capability of anticipating different needs of teammates. In this paper, we focus on three issues related...