4211 search results - page 342 / 843 » Types as Abstract Interpretations |
182
Voted
ISAAC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper, the space requirements for the OBDD representation of certain graph classes, specifically cographs, several types of graphs with few P4s, unit interval gr...
188
click to vote
ISMIS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Subsystem based generalizations of rough set approximations are investigated. Instead of using an equivalence relation, an arbitrary binary relation is used to construct ...
126
click to vote
ACRI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. I argue for the use of a specific type of grid and computational style for computational simulation that utilize emergence to produce results that would resemble physica...
139
click to vote
CIVR
2004
Springer
16 years 4 days ago
2004
Springer
The paper discusses three IST projects focusing on the disclosure of video content via a combination of low-level multimodal feature analysis, abstraction, and browsing tools. The ...
199
click to vote
STACS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract We give a method for approximating any n-dimensional lattice with a lattice Λ whose factor group Zn /Λ has n − 1 cycles of equal length with arbitrary precision. We al...