Sciweavers

773 search results - page 118 / 155
» Coordination in the ImpUNITY Framework
Sort
View
SAC
2006
ACM
15 years 5 months ago
Trading services in ontology-driven markets
In recent years, Web Services have become the key technology for building flexible and interoperable computing infrastructure. However, to realize the vision of a full-fletched ...
Steffen Lamparter, Björn Schnizler
CEEMAS
2005
Springer
15 years 5 months ago
On Communication in Solving Distributed Constraint Satisfaction Problems
Abstract. Distributed Constraint Satisfaction Problems (DCSP) is a general framework for multi-agent coordination and conflict resolution. In most DCSP algorithms, inter-agent com...
Hyuckchul Jung, Milind Tambe
CVBIA
2005
Springer
15 years 5 months ago
Registration of 3D Angiographic and X-Ray Images Using Sequential Monte Carlo Sampling
Abstract. Digital subtraction angiography (DSA) reconstructions and 3D Magnetic Resonance Angiography (MRA) are the modalities of choice for diagnosis of vascular diseases. However...
Charles Florin, James Williams, Ali Khamene, Nikos...
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 5 months ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
INTETAIN
2005
Springer
15 years 5 months ago
Ambient Intelligence in Edutainment: Tangible Interaction with Life-Like Exhibit Guides
We present COHIBIT, an edutainment exhibit for theme parks in an ambient intelligence environment. It combines ultimate robustness and simplicity with creativity and fun. The visit...
Alassane Ndiaye, Patrick Gebhard, Michael Kipp, Ma...