5401 search results - page 750 / 1081 » Using Versions in GIS |
293
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
Mining sequential patterns in large databases is an important research topic. The main challenge of mining sequential patterns is the high processing cost due to the large amount ...
117
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
A large number of methods for circle detection has been studied in the last years for numerous image processing applications. The application domain considered in this paper is th...
133
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
The ability to automatically record the marks applied to paper documents on their electronic originals would preserve the information represented by those annotations. Users could...
171
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
169
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...