39 search results - page 5 / 8 » A Binary Decision Tree Abstract Domain Functor |
115
Voted
ICASSP
2011
IEEE
14 years 4 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...
95
Voted
CORR
2004
Springer
15 years 12 days 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)...
100
Voted
ICRA
2002
IEEE
15 years 5 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...
92
Voted
CISIM
2007
IEEE
15 years 4 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...
113
click to vote
ACG
2009
Springer
15 years 7 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...