3954 search results - page 648 / 791 » Image-based Model Completion |
115
click to vote
IJCAI
2007
15 years 4 months ago
2007
Local search procedures for solving satisfiability problems have attracted considerable attention since the development of GSAT in 1992. However, recent work indicates that for m...
124
click to vote
NETWORKING
2008
15 years 4 months ago
2008
Previously, we identified the failure-induced receive buffer (rbuf) blocking problem in Concurrent Multipath Transfer using SCTP multihoming (CMT), and proposed CMT with a Potentia...
140
click to vote
ISCAPDCS
2007
15 years 4 months ago
2007
Current research in autonomic computing suffers from the lack of a common definition of the basic autonomic entities. Defining and developing the basic autonomic entities and maki...
179
click to vote
NIPS
2007
15 years 4 months ago
2007
In online handwriting recognition the trajectory of the pen is recorded during writing. Although the trajectory provides a compact and complete representation of the written outpu...
117
click to vote
AAAI
2004
15 years 4 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...