4460 search results - page 634 / 892 » Formal methods for interactive systems |
142
click to vote
TREC
2004
15 years 8 months ago
2004
The text-mining system we are building deals with the specific problem of identifying the instances of relevant concepts present in the texts. Therefore, our system relies on inte...
202
click to vote
AI
2002
Springer
15 years 6 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
190
click to vote
PRESENCE
2007
15 years 6 months ago
2007
Causality is an important aspect of how we construct reality. Yet, while many psychological phenomena have been studied in their relation to virtual reality (VR), very little work...
188
click to vote
CGF
2011
14 years 10 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...
285
click to vote
ICARIS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We propose a novel bio-inspired solution for biomedical article classification. Our method draws from an existing model of T-cell cross-regulation in the vertebrate immun...