Sciweavers

2375 search results - page 159 / 475
» Towards a Theory of Services
Sort
View
ATAL
2004
Springer
15 years 12 months ago
Physicomimetics for Mobile Robot Formations
In prior work we established how physicomimetics can be used to self-organize hexagonal and square lattice formations of mobile robots. In this paper we extend the framework to mo...
William M. Spears, Rodney Heil, Diana F. Spears, D...
DAGM
2003
Springer
15 years 11 months ago
Shape Preservation during Digitization: Tight Bounds Based on the Morphing Distance
We define strong r-similarity and the morphing distance to bound geometric distortions between shapes of equal topology. We then derive a necessary and sufficient condition for a ...
Peer Stelldinger, Ullrich Köthe
RECOMB
2010
Springer
15 years 4 months ago
Ultra-Perfect Sorting Scenarios
Abstract. Perfection has been used as a criteria to select rearrangement scenarios since 2004. However, there is a fundamental bias towards extant species in the original definitio...
Aïda Ouangraoua, Anne Bergeron, Krister M. Sw...
MKWI
2008
190views Business» more  MKWI 2008»
15 years 8 months ago
Partial Matchmaking for complex Product and Service Descriptions
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...
Heiner Stuckenschmidt, Martin Kolb
IEEESCC
2007
IEEE
16 years 24 days ago
Deriving executable BPEL from UMM Business Transactions
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
Birgit Hofreiter, Christian Huemer, Philipp Liegl,...