15792 search results - page 232 / 3159 » Computational Abstraction Steps |
154
click to vote
DCC
2005
IEEE
16 years 6 months ago
2005
IEEE
Abstract: We propose a hyperspectral image compressor called BH which considers its input image as being partitioned into square blocks, each lying entirely within a particular ban...
202
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
201
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Regime switching models, in which the state of the world is locally stationary, are a useful abstraction for many continuous valued data streams. In this paper we develop an onlin...
238
click to vote
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
Metric access methods (MAMs) serve as a tool for speeding similarity queries. However, all MAMs developed so far are index-based; they need to build an index on a given database. T...
186
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper provides proof-of-concept that stateof-the-art sampling-based motion planners that are tightly integrated with a physics-based simulator can compute paths th...