Sciweavers

4348 search results - page 612 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
SAC
2010
ACM
15 years 6 months ago
Data-aware design and verification of service compositions with Reo and mCRL2
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
Natallia Kokash, Christian Krause, Erik P. de Vink
ICRA
2003
IEEE
165views Robotics» more  ICRA 2003»
15 years 12 months ago
Multi-robot task-allocation through vacancy chains
Existing task allocation algorithms generally do not consider the effects of task interaction, such as interference, but instead assume that tasks are independent. That assumptio...
Torbjørn S. Dahl, Maja J. Mataric, Gaurav S...
DEXAW
2007
IEEE
141views Database» more  DEXAW 2007»
16 years 27 days ago
SWARD: Semantic Web Abridged Relational Databases
The semantic web represents meta-data as a relation of triples using the RDF data model. We have developed a virtual repository system that enables to process queries to RDF views...
Johan Petrini, Tore Risch
GBRPR
2009
Springer
15 years 10 months ago
Homeomorphic Alignment of Edge-Weighted Trees
Abstract. Motion capture, a currently active research area, needs estimation of the pose of the subject. This requires a match between a model and the 3D shape, constructed using a...
Benjamin Raynal, Michel Couprie, Venceslas Biri
IBERAMIA
2010
Springer
15 years 5 months ago
Robotic Orientation towards Speaker for Human-Robot Interaction
Abstract. The orientation of conversational robots to face their interlocutors is essential for natural and efficient Human-Robot Interaction (HRI). In this paper, progress towards...
Caleb Rascón, Héctor H. Avilé...