5550 search results - page 154 / 1110 » Different Approaches to Proof Systems |
146
click to vote
ICRE
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces an approach to multi-perspective requirements engineering (PREview) which has been designed for industrial use and discusses our practical experience in appl...
170
click to vote
ECOI
2008
15 years 6 months ago
2008
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...
183
click to vote
ICRA
2009
IEEE
2009
IEEE
Temporal stabilization of discrete movement in variable environments: An attractor dynamics approach
15 years 4 months ago
The ability to generate discrete movement with distinct and stable time courses is important for interaction scenarios both between different robots and with human partners, for ca...
184
click to vote
ICPADS
2005
IEEE
16 years 1 days ago
2005
IEEE
Intelligent video surveillance (IVS) offers a large spectrum of different applications that have strict requirements on quality of service (QoS) and energy-efficiency. Recent emb...
160
click to vote
CCE
2007
15 years 6 months ago
2007
In this work, a systematic approach to plant-wide control design is proposed. The method combines ingredients from process networks, thermodynamics and systems theory to derive ro...