348 search results - page 51 / 70 » Behaviour Model Synthesis from Properties and Scenarios |
EWCBR
2006
Springer
13 years 11 months ago
2006
Springer
Ambient Intelligence is a research area that has gained a lot of attention in recent years. One of the most important issues for ambient intelligent systems is to perceive the envi...
NIPS
2004
13 years 8 months ago
2004
We introduce a novel active-learning scenario in which a user wants to work with a learning algorithm to identify useful anomalies. These are distinguished from the traditional st...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
The observation models in tracking algorithms are critical to both tracking performance and applicable scenarios but are often simplified to focus on fixed level of certain target...
CDC
2009
IEEE
14 years 6 days ago
2009
IEEE
— 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...
APN
1993
Springer
13 years 11 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...