1805 search results - page 254 / 361 » Modelling SIGNAL in Interaction Categories |
106
Voted
CGF
2010
14 years 10 months ago
2010
Statistical shape modeling is a widely used technique for the representation and analysis of the shapes and shape variations present in a population. A statistical shape model mod...
88
Voted
SIGIR
2009
ACM
15 years 4 months ago
2009
ACM
It is now widely recognized that user interactions with search results can provide substantial relevance information on the documents displayed in the search results. In this pape...
72
Voted
HRI
2006
ACM
15 years 4 months ago
2006
ACM
We present a method of grounded word learning that is powerful enough to learn the meanings of first and second person pronouns. The model uses the understood words in an utteran...
106
Voted
ECLIPSE
2005
ACM
15 years 6 days ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
103
Voted
JACM
2002
14 years 10 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...