10412 search results - page 491 / 2083 » The efficiency of algorithms - misconceptions |
272
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Current skyline evaluation techniques follow a common paradigm that eliminates data elements from skyline consideration by finding other elements in the dataset that dominate them...
201
click to vote
PODS
2005
ACM
16 years 7 months ago
2005
ACM
The challenge of monitoring massive amounts of data generated by communication networks has led to the interest in data stream processing. We study streams of edges in massive com...
184
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
Boolean functions are fundamental to synthesis and verification of digital logic, and compact representations of Boolean functions have great practical significance. Popular repre...
165
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
162
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We present an automatic and efficient method to extract spatio-temporal human volumes from video, which combines top-down model-based and bottom-up appearancebased approaches. Fr...