870 search results - page 82 / 174 » Theoretical and experimental results on the goal-plan tree p... |
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
CAD
2007
Springer
14 years 10 months ago
2007
Springer
This paper presents a global optimization operator for arbitrary meshes. The global optimization operator is composed of two main terms, one part is the global Laplacian operator ...
137
click to vote
PRL
2006
14 years 9 months ago
2006
Various types of moments have been used to recognize image patterns in a number of applications. However, only few works have paid attention to the completeness property of the in...
107
click to vote
TDSC
2011
14 years 4 months ago
2011
—The pervasive diffusion of mobile communication devices and the technical improvements of location techniques are fostering the development of new applications that use the phys...
DIS
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we propose a method for discovering hidden information from large-scale item set data based on the symmetry of items. Symmetry is a fundamental concept in the theory...