4460 search results - page 684 / 892 » Formal methods for interactive systems |
120
Voted
NAACL
2007
15 years 6 months ago
2007
Information retrieval systems are frequently required to handle long queries. Simply using all terms in the query or relying on the underlying retrieval model to appropriately wei...
127
click to vote
GRAPHICSINTERFACE
2001
15 years 6 months ago
2001
We present a muscle model and methods for muscle construction that allow to easily create animatable facial models from given face geometry. Using our editing tool, one can intera...
143
click to vote
WSC
2001
15 years 6 months ago
2001
The need for new theoretical and experimental approaches to understand dynamic and heterogeneous behavior in complex economic and social systems is increasing recently. An approac...
203
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
In this paper, a novel method of relevance feedback is presented based on Support Vector Machine learning in the content-based image retrieval system. A SVM classifier can be lear...
119
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...