2478 search results - page 142 / 496 » Quadtrees as an Abstract Domain |
PKDD
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present a method for applying machine learning algorithms to the automatic classification of astronomy star surveys using time series of star brightness. Currently su...
ISCAS
2007
IEEE
14 years 2 months ago
2007
IEEE
— The heterogeneity in the contemporary multimedia environments requires a format-agnostic adaptation framework for the consumption of digital video content. Scalable bitstreams ...
CP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constra...
FCT
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
AbstractThis paper focuses on human-machine communication with intelligent agents, it proposes a generic architecture with an algorithm for natural language (NL) command interpreta...