762 search results - page 81 / 153 » Conditionally correct superoptimization |
84
Voted
JC
2008
15 years 17 days ago
2008
We describe an algorithm to count the number of distinct real zeros of a polynomial (square) system f. The algorithm performs O(log(nD(f))) iterations (grid refinements) where n is...
118
Voted
ISSE
2007
15 years 15 days ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
79
Voted
AUTOMATICA
2004
15 years 14 days ago
2004
We consider the formulation and analysis of a problem of automatic control: correcting for the distortion induced in an optical wave front due to propagation through a turbulent a...
106
click to vote
DKE
1998
15 years 8 days ago
1998
Disk I/O is a major bottleneck for query processing in database applications. This bottleneck is especially a problem for temporal databases because of their large size. Reduction...
108
Voted
PAMI
2002
15 years 7 days ago
2002
In this paper, we develop a novel method for view-based recognition of human action/activity from videos. By observing just a few frames, we can identify the activity that takes pl...