Sciweavers

5863 search results - page 1113 / 1173
» On Model-Checking of P Systems
Sort
View
193
Voted
AGENTS
2001
Springer
15 years 10 months ago
Matchmaking for autonomous agents in electronic marketplaces
Matchmaking is the process of mediating demand and supply based on profile information. Matchmaking plays a crucial role in agent-based electronic marketplaces: the problem to be ...
Daniel Veit, Jörg P. Müller, Martin Schn...
CCS
2001
ACM
15 years 10 months ago
Taking the Copy Out of Copyright
Under current U.S. law and common understanding, the fundamental right granted by copyright is the right of reproduction – of making copies. Indeed, the very word “copyright”...
Ernest Miller, Joan Feigenbaum
DAWAK
2001
Springer
15 years 10 months ago
Matchmaking for Structured Objects
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...
Thomas Eiter, Daniel Veit, Jörg P. Mülle...
DFG
2001
Springer
15 years 10 months ago
Neue dreidimensionale diagnostische Verfahren in der Herzchirurgie
: Dreidimensionale Doppler-echokardiographische Verfahren liefern eine Vielzahl hochwertiger qualitativer und quantitativer diagnostischer Informationen, die für die Operationspla...
Raffaele De Simone, Ivo Wolf, Mark Hastenteufel, G...
SIGGRAPH
2000
ACM
15 years 10 months ago
Interactive manipulation of rigid body simulations
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...
Jovan Popovic, Steven M. Seitz, Michael Erdmann, Z...
« Prev « First page 1113 / 1173 Last » Next »