4814 search results - page 429 / 963 » Combining abstract interpreters |
219
click to vote
RSCTC
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We introduce an automated multi-spectral MRI segmentation technique based on approximate reducts derived from the data mining paradigm of the theory of rough sets. We uti...
182
click to vote
SACRYPT
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Synchronous stream ciphers need perfect synchronization between sender and receiver. In practice, this is ensured by a resync mechanism. Daemen et al. [10] first describ...
201
click to vote
WAOA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We consider two- and three-dimensional bin packing problems where 90◦ rotations are allowed. We improve all known asymptotic performance bounds for these problems. In p...
165
click to vote
ICRA
2003
IEEE
16 years 5 days ago
2003
IEEE
Abstract— In this paper we propose an algorithm to determine the location of a vehicle in an environment represented by a stochastic map, given a set of environment measurements ...
139
click to vote
CAISE
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. We argue that adaptability and extensibility can be guaranteed by the utilization of the concepts meta-modeling, formation of concepts and reflection, which require the u...