22588 search results - page 4466 / 4518 » On simulation model complexity |
134
click to vote
SIGMOD
1993
ACM
15 years 8 months ago
1993
ACM
The traditional focus of relational query optimization schemes has been on the choice of join methods and join orders. Restrictions have typically been handled in query optimizers ...
145
click to vote
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
160
click to vote
CF
2007
ACM
15 years 7 months ago
2007
ACM
In the life sciences, genomic databases for sequence search have been growing exponentially in size. As a result, faster sequencesearch algorithms to search these databases contin...
130
click to vote
COMPGEOM
2007
ACM
15 years 7 months ago
2007
ACM
We consider the problem of placing a small number of angle guards inside a simple polygon P so as to provide efficient proofs that any given point is inside P. Each angle guard vi...
127
click to vote
APGV
2010
ACM
15 years 7 months ago
2010
ACM
The human visual system is able to quickly and robustly infer a wealth of scene information – the scene "gist" – already after 100 milliseconds of image presentation...