8190 search results - page 23 / 1638 » From Timed to Hybrid Systems |
118
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
138
Voted
CMSB
2007
Springer
15 years 8 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
123
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
—The electro-fused magnesia furnace is one of the main equipments used to produce electro-fused magnesia which is high performance refractory. Due to the multivariable, strong no...
114
Voted
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
159
click to vote
ICANN
2011
Springer
14 years 5 months ago
2011
Springer
This article presents a novel approach for a real-time person tracking system based on particle filters that use different visual streams. Due to the difficulty of detecting a pe...