Sciweavers

2558 search results - page 317 / 512
» Model Composition Contracts
Sort
View
ICRA
2009
IEEE
151views Robotics» more  ICRA 2009»
15 years 11 months ago
A framework for modeling steady turning of robotic fish
— In this paper we present a novel framework for computing the steady turning motion of a robotic fish undergoing periodic body and/or tail deformation. Taking the turning radiu...
Qingsong Hu, Dawn R. Hedgepeth, Lihong Xu, Xiaobo ...
148
Voted
COMPSAC
2008
IEEE
15 years 11 months ago
Service-Oriented Modelling of Automotive Systems
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
Laura Bocchi, José Luiz Fiadeiro, Ant&oacut...
CP
2007
Springer
15 years 11 months ago
Model-Driven Visualizations of Constraint-Based Local Search
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet ...
Grégoire Dooms, Pascal Van Hentenryck, Laur...
WETICE
2006
IEEE
15 years 10 months ago
A Model-Driven Framework for Managing the QoS of Collaborative P2P Service-Based Applications
1 Distributed and collaborative applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an appl...
Michele Angelaccio, Andrea D'Ambrogio
ICMI
2005
Springer
158views Biometrics» more  ICMI 2005»
15 years 10 months ago
Recognition of sign language subwords based on boosted hidden Markov models
Sign language recognition (SLR) plays an important role in human-computer interaction (HCI), especially for the convenient communication between deaf and hearing society. How to e...
Liang-Guo Zhang, Xilin Chen, Chunli Wang, Yiqiang ...