151 search results - page 24 / 31 » Experimental Evaluation of Preprocessing Techniques in Const... |
SCP
1998
13 years 7 months ago
1998
Consistency techniques are an e cient way of tackling constraint satisfaction problems (CSP). In particular, various arc-consistency algorithms have been designed such as the time...
COMAD
2009
13 years 9 months ago
2009
Identifying communities in social networks is a problem of great interest. One popular type of community is where every member of the community knows all others, which can be view...
ASAP
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we address the complex problem of rapid modeling
of large-scale areas and present a novel approach for the automatic
reconstruction of cities from remote sensor da...