Sciweavers

1054 search results - page 154 / 211
» Models for automatic generation of safety-critical real-time...
Sort
View
ICAC
2005
IEEE
15 years 7 months ago
Towards Autonomic Virtual Applications in the In-VIGO System
Grid environments enable users to share non-dedicated resources that lack performance guarantees. This paper describes the design of application-centric middleware components to a...
Jing Xu, Sumalatha Adabala, José A. B. Fort...
FMAM
2010
157views Formal Methods» more  FMAM 2010»
14 years 12 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
IJCAI
2001
15 years 3 months ago
Temporal Decision Trees or the lazy ECU vindicated
The automatic generation of diagnostic decision trees from qualitative models is a reasonable compromise between the advantages of using a modelbased approach in technical domains...
Luca Console, Claudia Picardi, Daniele Theseider D...
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
15 years 13 days ago
Parameterized maneuver learning for autonomous helicopter flight
Abstract— Many robotic control tasks involve complex dynamics that are hard to model. Hand-specifying trajectories that satisfy a system’s dynamics can be very time-consuming a...
Jie Tang, Arjun Singh, Nimbus Goehausen, Pieter Ab...
142
Voted
COMPSYSTECH
2009
14 years 11 months ago
A Bayesian approach to recognise facial expressions using vector flows
: Facial expressions play an important role in human nonverbal communication. They can be generated by activation and dilatation of facial muscles. In this paper we describe a syst...
Xiaofan Sun, Léon J. M. Rothkrantz, Dragos ...