349 search results - page 43 / 70 » Semiring-Based Soft Constraints |
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
The paper introduces a mechanism to implement distributed scheduling for CAN-bus resource in order to meet the requirements of a dynamic distributed real-time system. The key issu...
108
click to vote
ACL
2008
15 years 3 months ago
2008
Phrase-based decoding produces state-of-theart translations with no regard for syntax. We add syntax to this process with a cohesion constraint based on a dependency tree for the ...
108
click to vote
SAT
2007
Springer
15 years 7 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 ...
122
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
— This paper presents an approach to implement virtual fixtures for surgical robot assistants. Our approach uses a weighted, multi-objective (both linear and nonlinear) constrai...
106
click to vote
JAIR
2008
15 years 1 months ago
2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...