2036 search results - page 56 / 408 » A generic type-and-effect system |
ECCV
2006
Springer
16 years 2 months ago
2006
Springer
Several state-of-the-art Generic Visual Categorization (GVC) systems are built around a vocabulary of visual terms and characterize images with one histogram of visual word counts....
92
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we present a generic interconnect fabric for transaction level modelling tackeling three major aspects. First, a review of the bus and IO structures that we have ana...
118
click to vote
VISUALIZATION
2003
IEEE
15 years 5 months ago
2003
IEEE
We describe how to count the cases that arise in a family of visualization techniques, including Marching Cubes, Sweeping Simplices, Contour Meshing, Interval Volumes, and Separat...
134
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
97
Voted
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we present a generic, mirror-based debugging architecture that supports runtime visibility and traceability of aspect oriented (AO) software systems. Runtime visibil...