2266 search results - page 348 / 454 » Generalizing parametric timing analysis |
97
Voted
COMPGEOM
1995
ACM
15 years 4 months ago
1995
ACM
We present a competitive strategy for walking into the kernel of an initially unknown star-shaped polygon. From an arbitrary start point, s, within the polygon, our strategy find...
114
click to vote
VISUALIZATION
1995
IEEE
15 years 4 months ago
1995
IEEE
Animportantgoalofvisualizationtechnologyistosupport the exploration and analysis of very large amounts of data. In this paper, we propose a new visualization technique called ‘r...
91
Voted
AIIDE
2008
15 years 3 months ago
2008
Petri Nets can be used for a retrospective analysis of a computer game story, for representing plots in serious games as well as for monitoring the course of the story, as recentl...
110
click to vote
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Image similarity search is a fundamental problem in computer vision. Efficient similarity search across large image databases depends critically on the availability of compact ima...
127
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Although biometrics have garnered significant interest as a source of entropy for cryptographic key generation, recent studies indicate that many biometric modalities may not actu...