550 search results - page 46 / 110 » Implementing Real Numbers With RZ |
ACRI
2006
Springer
14 years 2 months ago
2006
Springer
For simulating physical and chemical processes on molecular level asynchronous cellular automata with probabilistic transition rules are widely used being sometimes referred to as ...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
ISM
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes a novel technique for audio coding, a lossy compression algorithm, that considers perceptual and rate-distortion criteria. It is based on matched finite impu...
WACV
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we propose a coherent framework for joint key-frame extraction and object-based video segmentation. Conventional key-frame extraction and object segmentation are us...
ISRR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present an interpolation-based planning and replanning algorithm for generating smooth paths through non-uniform cost grids. Most grid-based path planners use discrete...