349 search results - page 43 / 70 » Semiring-Based Soft Constraints |
152
click to vote
IPPS
1998
IEEE
15 years 10 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...
167
click to vote
ACL
2008
15 years 8 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 ...
174
click to vote
SAT
2007
Springer
16 years 21 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 ...
184
click to vote
ICRA
2006
IEEE
16 years 19 days 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...
176
click to vote
JAIR
2008
15 years 6 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...