20126 search results - page 182 / 4026 » Timed Transition Systems |
119
Voted
JAIR
2006
15 years 3 months ago
2006
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...
143
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
The security threat posed by malware in mobile wireless networks can be countered through immunization using security patches. The distribution of patches however consumes bandwidt...
102
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Machining time is a major performance criterion when it comes to high speed machining. CAM software can help in estimating that time for a given strategy. But in practice, CAM pro...
216
Voted
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
152
Voted
STACS
2009
Springer
15 years 10 months ago
2009
Springer
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...