6020 search results - page 439 / 1204 » A New Approach to Model Counting |
201
click to vote
ICCV
2009
IEEE
16 years 12 months ago
2009
IEEE
2D Active Appearance Models (AAM) and 3D Morphable
Models (3DMM) are widely used techniques. AAM
provide a fast fitting process, but may represent unwanted
3D transformations un...
186
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
Privacy-preserving data mining (PPDM) is an important topic to both industry and academia. In general there are two approaches to tackling PPDM, one is statistics-based and the oth...
188
click to vote
ISCAS
2005
IEEE
16 years 15 days ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
277
click to vote
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
170
click to vote
SPAA
2010
ACM
15 years 11 months ago
2010
ACM
Partitioning is the dominant technique to transmit large files in peer-to-peer networks. A peer can redistribute each part immediately after its download. BitTorrent combines thi...