80 search results - page 10 / 16 » A conflict based SAW method for Constraint Satisfaction Prob... |
115
Voted
JSS
2010
14 years 8 months ago
2010
Software product-lines (SPLs) are software architectures that can be readily reconfigured for different project requirements. A key part of an SPL is a model that captures the rul...
96
Voted
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— This paper presents a method to determine whether an assembly of planar parts will stay assembled as it is pushed over a support surface. For a given pushing motion, an assembl...
106
click to vote
AAAI
2007
15 years 4 months ago
2007
We present a general framework for determining the number of solutions of constraint satisfaction problems (CSPs) with a high precision. Our first strategy uses additional binary...
110
click to vote
DSS
2007
15 years 1 months ago
2007
International crime and terrorism have drawn increasing attention in recent years. Retrieving relevant information from criminal records and suspect communications is important in...
119
Voted
CONEXT
2010
ACM
14 years 12 months ago
2010
ACM
Traditional DSL troubleshooting solutions are reactive, relying mainly on customers to report problems, and tend to be labor-intensive, time consuming, prone to incorrect resoluti...