6020 search results - page 105 / 1204 » A New Approach to Model Counting |
133
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
Wikipedia is an online encyclopedia that anyone can edit. In this open model, some people edits with the intent of harming the integrity of Wikipedia. This is known as vandalism. W...
139
click to vote
JPDC
2007
15 years 3 months ago
2007
High quality of security is increasingly critical for applications running on heterogeneous distributed systems. However, existing scheduling algorithms for heterogeneous distribu...
178
click to vote
ICDT
2009
ACM
15 years 1 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
120
Voted
EMNLP
2009
15 years 1 months ago
2009
We propose a new model for unsupervised POS tagging based on linguistic distinctions between open and closed-class items. Exploiting notions from current linguistic theory, the sy...
80
Voted
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
The Active Appearance Model (AAM) is a powerful generative method for modeling and registering deformable visual objects. Most methods for AAM fitting utilize a linear parameter u...