4693 search results - page 196 / 939 » Verifying Hybrid Systems |
136
click to vote
KI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
119
Voted
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
171
click to vote
HICSS
2009
IEEE
16 years 7 days ago
2009
IEEE
Manufacturing companies that are expanding their product offering to cover also lifecycle services in the customers’ facilities are facing the increasing complexity and risk to ...
128
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a hybrid speaker tracking scheme based on a single pan/tilt/zoom (PTZ) camera in an automated lecture capturing system. Given that the camera’s video resolution is hi...