Sciweavers

3199 search results - page 381 / 640
» Variability in Automation System Models
Sort
View
ISSTA
2004
ACM
16 years 4 days ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
FLAIRS
2008
15 years 9 months ago
Learning a Probabilistic Model of Event Sequences from Internet Weblog Stories
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
Mehdi Manshadi, Reid Swanson, Andrew S. Gordon
CDC
2009
IEEE
156views Control Systems» more  CDC 2009»
15 years 11 months ago
The nullspace method - a unifying paradigm to fault detection
— The nullspace method is a powerful framework to solve the synthesis problem of fault detection filters in the most general setting. It is also well suited to address the least...
András Varga
DGO
2009
175views Education» more  DGO 2009»
15 years 7 months ago
Modelling task delegation for human-centric eGovernment workflows
The execution of cross-domain eGovernment applications is a challenging topic. eGovernment organisations are facilitated and conducted using workflow management systems. Workflows...
Khaled Gaaloul, François Charoy, Andreas Sc...
IROS
2007
IEEE
105views Robotics» more  IROS 2007»
16 years 1 months ago
Experiments in robotic boat localization
— We are motivated by the prospect of automating microbial observing systems. To this end we have designed and built a robotic boat as part of a sensor network for monitoring aqu...
Amit Dhariwal, Gaurav S. Sukhatme