Sciweavers

8190 search results - page 101 / 1638
» From Timed to Hybrid Systems
Sort
View
COMPSAC
2004
IEEE
14 years 1 months ago
A Development Framework for Rapid Meta-Heuristics Hybridization
While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to speci...
Hoong Chuin Lau, Wee Chong Wan, Min Kwang Lim, Ste...
DSRT
2008
IEEE
14 years 4 months ago
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
HICSS
2002
IEEE
171views Biometrics» more  HICSS 2002»
14 years 3 months ago
Asynchronous Videoconferencing: A Hybrid Communication Prototype
This report introduces a hybrid asynchronous, distributed audio/video group conferencing system. One of the chief benefits of Internet communication systems is that they allow com...
James H. Watt, Joseph B. Walther, Kristine L. Nowa...
FORMATS
2005
Springer
14 years 3 months ago
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
Thomas Chatain, Claude Jard
CVPR
2003
IEEE
15 years 2 days ago
Motion Deblurring Using Hybrid Imaging
Motion blur due to camera motion can significantly degrade the quality of an image. Since the path of the camera motion can be arbitrary, deblurring of motion blurred images is a ...
Moshe Ben-Ezra, Shree K. Nayar