6020 search results - page 559 / 1204 » A New Approach to Model Counting |
182
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Animal ecologists have successfully applied agent-based models to many different problems. Often, these focus on issues concerning collective behaviors, environmental interactions...
179
click to vote
JSS
2000
15 years 7 months ago
2000
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
190
click to vote
CVPR
1998
IEEE
16 years 9 months ago
1998
IEEE
In this paper we present a method for the integration of nonlinear holonomic constraints in deformable models and its application to the problems of shape and illuminant direction...
296
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
The problem of privacy-preserving data mining has been studied extensively in recent years because of the increased amount of personal information which is available to corporation...
190
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Query log analysis has received substantial attention in recent years, in which the click graph is an important technique for describing the relationship between queries and URLs....