438 search results - page 63 / 88 » Efficient Timing Analysis Algorithms for Timed State Space E... |
DSRT
2004
IEEE
13 years 11 months ago
2004
IEEE
Distributed simulation cloning technology is designed to analyze alternative scenarios of a distributed simulation concurrently within the same execution session. The goal is to o...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
CGF
1999
13 years 7 months ago
1999
This work explores how three techniques for defining and representing curves and surfaces can be related efficiently. The techniques are subdivision, least-squares data fitting, a...
ECCV
2010
Springer
14 years 28 days ago
2010
Springer
Approximate Nearest Neighbor (ANN) methods such as Locality Sensitive Hashing, Semantic Hashing, and Spectral Hashing, provide computationally ecient procedures for nding objects...
CIVR
2008
Springer
13 years 9 months ago
2008
Springer
Various query methods for video search exist. Because of the semantic gap each method has its limitations. We argue that for effective retrieval query methods need to be combined ...