Sciweavers

5863 search results - page 1113 / 1173
» On Model-Checking of P Systems
Sort
View
176
Voted
AGENTS
2001
Springer
15 years 8 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...
126
Voted
CCS
2001
ACM
15 years 8 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
163
Voted
DAWAK
2001
Springer
15 years 8 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...
97
Voted
DFG
2001
Springer
15 years 8 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...
142
Voted
SIGGRAPH
2000
ACM
15 years 8 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 »