6020 search results - page 993 / 1204 » A New Approach to Model Counting |
159
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper asks a new question: how can we control the collective behavior of self-organized multi-agent systems? We try to answer the question by proposing a new notion called `So...
180
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Recently, nonlinear shape models have been shown to improve the robustness and flexibility of segmentation. In this paper, we propose Shape Regularized Active Contour (ShRAC) that...
229
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Object motions can be represented as a sequence of shape deformations and translations which can be interpretated as a sequence of points in N-dimensional shape space. These space...
185
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Address standardization is a very challenging task in data cleansing. To provide better customer relationship management and business intelligence for customer-oriented cooperates...
177
click to vote
MHCI
2009
Springer
16 years 29 days ago
2009
Springer
Mobile technologies, due to their ubiquitous nature, play an important role in supporting health care. However, it is not easy to design useful integrated mobile services without ...