Sciweavers

8582 search results - page 333 / 1717
» Here or There
Sort
View
ACIVS
2006
Springer
16 years 24 days ago
Adaptive Vision Leveraging Digital Retinas: Extracting Meaningful Segments
In general, the less probable an event, the more attention we pay to it. Likewise, considering visual perception, it is interesting to regard important image features as those that...
Nicolas Burrus, Thierry M. Bernard
ACRI
2006
Springer
16 years 24 days ago
Improved Cell-DEVS Models for Fire Spreading Analysis
The spread of fire is a complex phenomenon that many have tried to study over the years. As one can imagine, the spread of fire depends on many different variables such as the mate...
Matthew MacLeod, Rachid Chreyh, Gabriel A. Wainer
APLAS
2006
ACM
16 years 24 days ago
Proof Abstraction for Imperative Languages
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
William L. Harrison
APLAS
2006
ACM
16 years 24 days ago
Relational Reasoning for Recursive Types and References
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
Nina Bohr, Lars Birkedal
COMPGEOM
2006
ACM
16 years 24 days ago
Optimal succinct representations of planar maps
This paper addresses the problem of representing the connectivity information of geometric objects using as little memory as possible. As opposed to raw compression issues, the fo...
Luca Castelli Aleardi, Olivier Devillers, Gilles S...