6020 search results - page 325 / 1204 » A New Approach to Model Counting |
213
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Classic algorithms for sequential pattern discovery, return all frequent sequences present in a database. Since, in general, only a few ones are interesting from a user's poin...
183
click to vote
PR
2008
15 years 6 months ago
2008
The computation of a shape's orientation is a common task in the area of computer vision and image processing, being used for example to define a local frame of reference and...
170
click to vote
JOI
2010
15 years 5 months ago
2010
The principle of a new type of impact measure was introduced recently, called the "audience factor" (AF). It is a variant of the journal impact factor where emitted cita...
197
click to vote
PVLDB
2010
15 years 5 months ago
2010
An increasing amount of personal data is automatically gathered and stored on servers by administrations, hospitals, insurance companies, etc. Citizen themselves often count on in...
259
click to vote
ISPD
2012
ACM
14 years 2 months ago
2012
ACM
Gate sizing in VLSI design is a widely-used method for power or area recovery subject to timing constraints. Several previous works have proposed gate sizing heuristics for power ...