Sciweavers

2703 search results - page 354 / 541
» Learning operational requirements from goal models
Sort
View
SMA
1995
ACM
132views Solid Modeling» more  SMA 1995»
15 years 10 months ago
Assembly sequencing with toleranced parts
The goal of assembly sequencing is to plan a feasible series of operations to construct a product from its individual parts. Previous research has investigated assembly sequencing...
Jean-Claude Latombe, Randall H. Wilson
ATMOS
2010
128views Optimization» more  ATMOS 2010»
15 years 5 months ago
Robust Train Routing and Online Re-scheduling
Train Routing is a problem that arises in the early phase of the passenger railway planning process, usually several months before operating the trains. The main goal is to assign...
Alberto Caprara, Laura Galli, Leo G. Kroon, G&aacu...
ICCV
2007
IEEE
16 years 8 months ago
A Scalable Approach to Activity Recognition based on Object Use
We propose an approach to activity recognition based on detecting and analyzing the sequence of objects that are being manipulated by the user. In domains such as cooking, where m...
Jianxin Wu, Adebola Osuntogun, Tanzeem Choudhury, ...
SCS
2004
15 years 8 months ago
Complex Reactive Real Time Systems and the Safety Case
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...
Gordon R. Stone
FMICS
2007
Springer
16 years 29 days ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller