39 search results - page 5 / 8 » A Binary Decision Tree Abstract Domain Functor |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In many applications decisions must be made about the state of an object based on indirect noisy observation of highdimensional data. An example is the determination of the presen...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
CISIM
2007
IEEE
15 years 1 months ago
2007
IEEE
This article presents a semi-automatic segmentation of the fibrous liver tissue in the in-vivo liver biopsy color images. The segmentation is performed using a tree-based classifi...
ACG
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Games are considered important benchmark tasks of artificial intelligence research. Modern strategic board games can typically be played by three or more people, which m...