6020 search results - page 769 / 1204 » A New Approach to Model Counting |
326
click to vote
TASE
2012
IEEE
14 years 2 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
157
click to vote
ICDM
2006
IEEE
16 years 25 days ago
2006
IEEE
Interpersonal interaction plays an important role in organizational dynamics, and understanding these interaction networks is a key issue for any organization, since these can be ...
217
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper proposes a new front propagation flow for boundary extraction. The proposed framework is inspired by the geodesic active contour model and leads to a paradigm that is r...
196
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
How can knowing about some categories help us to discover new ones in unlabeled images? Unsupervised visual category discovery is useful to mine for recurring objects without huma...
202
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we develop a new dual decomposition method for optimizing a sum of convex objective functions corresponding to multiple agents but with coupled constraints. In ou...