314 search results - page 39 / 63 » Generating Path Conditions for Timed Systems |
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents a novel approach to solve the constrained unit commitment problem using Selective Self-Adaptive Ant System (SSAS) for improving search performance by automatic...
RTCSA
2007
IEEE
14 years 1 months ago
2007
IEEE
An important property in a sensor network is the monitoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dynamic changes th...
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
Wirelength estimation techniques typically contain a site density function that enumerates all possible path sites for each wirelength in an architecture and an occupation probabil...
WACV
2005
IEEE
14 years 1 months ago
2005
IEEE
A method for the simultaneous localization and recognition of dynamic hand gestures is proposed. At the core of this method is a dynamic space-time warping (DSTW) algorithm, that ...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
It is a well known problem that the attack recovery of a self-healing system rolls back not only malicious transactions, but also legitimate transactions that are dependent on the...