7 search results - page 1 / 2 » A New Graph of Classes for the Preservation of Quantitative ... |
ATVA
2005
Springer
13 years 10 months ago
2005
Springer
FMCO
2003
Springer
13 years 10 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
PAMI
2010
13 years 3 months ago
2010
— In the last decade, graph-cut optimization has been popular for a variety of labeling problems. Typically graph-cut methods are used to incorporate smoothness constraints on a ...
AAAI
2008
13 years 7 months ago
2008
We present the first planner capable of reasoning with both the full semantics of PDDL2.1 (level 3) temporal planning and with numeric resources. Our planner, CRIKEY3, employs heu...
SMI
2010
IEEE
13 years 3 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...