4320 search results - page 448 / 864 » Functional Objects |
199
click to vote
SAT
2007
Springer
16 years 1 months 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 ...
171
click to vote
AICCSA
2006
IEEE
16 years 1 months 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...
220
click to vote
CRV
2006
IEEE
16 years 1 months 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...
199
click to vote
GLOBECOM
2006
IEEE
16 years 1 months 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...
243
click to vote
IROS
2006
IEEE
16 years 1 months 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...