1912 search results - page 104 / 383 » GOAL as a Planning Formalism |
200
Voted
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
223
Voted
EWSPT
2003
Springer
16 years 6 days ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
182
Voted
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
175
Voted
ICFEM
1997
Springer
15 years 11 months ago
1997
Springer
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
149
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We analyze visibility from static sensors in a dynamic scene with moving obstacles (people). Such analysis is considered in a probabilistic sense in the context of multiple sensors...