2478 search results - page 121 / 496 » Quadtrees as an Abstract Domain |
CBSE
2010
Springer
14 years 29 days ago
2010
Springer
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
CIDM
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—A variational approach is proposed for the unsupervised assessment of attribute variability of high-dimensional data given a differentiable similarity measure. The key q...
AAAI
2011
12 years 8 months ago
2011
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
CIARP
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. In many classification problems, and in particular in medical domains, it is common to have an unbalanced class distribution. This pose problems to classifiers as they ...
CADE
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...