Sciweavers

2957 search results - page 208 / 592
» Processing Self Corrections
Sort
View
ETELEMED
2009
IEEE
262views Healthcare» more  ETELEMED 2009»
14 years 4 months ago
MEDBOLI: Medical Diagnosis Based on Ontologies and Logical Inference
The Differential diagnosis (ddx) is a systematic method to identify unknowns. This method, essentially a process of elimination, is used by taxonomists to identify living organism...
Alejandro Rodríguez González, Myriam...
IFM
2009
Springer
14 years 4 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
MEMOCODE
2008
IEEE
14 years 4 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
ICRA
2007
IEEE
119views Robotics» more  ICRA 2007»
14 years 4 months ago
Progressive Clamping
—In this paper we propose the progressive clamping method to better model the kinematic anisotropy of joint limits for virtual mannequins or robots. Like recent approaches our me...
Daniel Raunhardt, Ronan Boulic
APN
2007
Springer
14 years 3 months ago
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
Kyller Costa Gorgônio, Jordi Cortadella, Fei...