6978 search results - page 1337 / 1396 » On Proofs in System P |
DAWAK
2001
Springer
14 years 7 days ago
2001
Springer
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...
DFG
2001
Springer
14 years 7 days ago
2001
Springer
: Dreidimensionale Doppler-echokardiographische Verfahren liefern eine Vielzahl hochwertiger qualitativer und quantitativer diagnostischer Informationen, die für die Operationspla...
SIGGRAPH
2000
ACM
14 years 3 days ago
2000
ACM
Physical simulation of dynamic objects has become commonplace in computer graphics because it produces highly realistic animations. In this paradigm the animator provides few phys...
SIGIR
2000
ACM
14 years 3 days ago
2000
ACM
The proliferation of online information resources increases the importance of effective and efficient distributed searching. Distributed searching is cast in three parts – datab...
CA
1998
IEEE
14 years 10 hour ago
1998
IEEE
The importance of faces in human interaction explains the desire for synthetic faces as a communication vehicle in computer graphics. Unfortunately, animating a face is a very com...