3013 search results - page 142 / 603 » Context-Oriented Domain Analysis |
102
click to vote
CAV
2010
Springer
15 years 1 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
125
click to vote
CP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
146
click to vote
ASAP
2011
IEEE
14 years 25 days ago
2011
IEEE
—The domain of vision and navigation often includes applications for feature tracking as well as simultaneous localization and mapping (SLAM). As these problems require computati...
101
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
Current audio coding standards employ the modified discrete cosine transform (MDCT) where overlapped frames of audio are windowed and transformed to the frequency domain. Encodin...
99
Voted
ICDAR
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes a mode detection system for online pen input that employs a Bayesian network to combine classification results and context information. Previous monolithic c...