3951 search results - page 97 / 791 » Automatic amortized analysis |
120
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
112
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
We investigate the automatic generation of topic pages as an alternative to the current Web search paradigm. We describe a general framework, which combines query log analysis to ...
167
click to vote
BLISS
2008
IEEE
15 years 11 months ago
2008
IEEE
Counting (identical) objects in images is a simple yet fundamental recognition task that requires exhaustive human effort. Automation of this task would reduce the human load sign...
160
click to vote
ICMCS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we describe a system for automatic detection and recognition of trademarks in sports videos. We propose a compact representation of trademarks based on SIFT feature ...
145
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Automatic systems are needed for audiovisual databases to efficiently index, browse, summarize and retrieve, because the amount of stored data is increasing tremendously. Historic...