1952 search results - page 349 / 391 » Complete partitions of graphs |
135
click to vote
STACS
2010
Springer
15 years 11 months ago
2010
Springer
The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs wi...
142
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We consider the setting of multiple collaborative agents trying to complete a set of tasks as assigned by a centralized controller. We propose a scalable method called“Assignmen...
140
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
158
click to vote
CW
2008
IEEE
15 years 11 months ago
2008
IEEE
—This paper proposes a keyframe-based video object editing scheme for automatic object shape deformation. Except for object segmentation, several technologies are developed in th...
144
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...