493 search results - page 31 / 99 » Alternating Weighted Automata |
148
click to vote
FM
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
142
click to vote
ASPDAC
2001
ACM
15 years 6 months ago
2001
ACM
Abstract-- We describe new graph bipartization algorithms for layout modification and phase assignment of bright-field alternating phaseshifting masks (AltPSM) [25]. The problem of...
137
click to vote
OSDI
1994
ACM
15 years 4 months ago
1994
ACM
Mobile computers such as notebooks, subnotebooks, and palmtops require low weight, low power consumption, and good interactive performance. These requirements impose many challeng...
113
click to vote
PICS
2003
15 years 4 months ago
2003
Halftone printing has been developing in a linear manner since the inception of photography. The process of refinement has taken it from one level to another producing increasingl...
123
click to vote
JAIR
2008
15 years 3 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...