4320 search results - page 448 / 864 » Functional Objects |
179
click to vote
SAT
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
154
Voted
AICCSA
2006
IEEE
16 years 27 days ago
2006
IEEE
The problem of optimally deploying a heterogeneous set of sensing devices in environments with differential surveillance requirements is presented. The problem is formulated in th...
188
click to vote
CRV
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
164
click to vote
GLOBECOM
2006
IEEE
16 years 26 days ago
2006
IEEE
The emergence of multi-channel multi-radio wireless mesh networks has given us many new opportunities and challenges. Particularly, the issue on how to appropriately assign channel...
215
click to vote
IROS
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— The authors proposed a simulation method to clarify the developmental process of human locomotion using a model of infant robot. The infant robot has many degrees of fr...