4117 search results - page 617 / 824 » On the Satisfiability of Complex Constraints |
177
click to vote
ARCS
2004
Springer
16 years 2 days ago
2004
Springer
: Mechatronic units are characterized by a complex interaction of functions from mechanics, electronics, communication and computer systems. These different fields of technology as...
146
click to vote
CONCUR
2004
Springer
16 years 1 days ago
2004
Springer
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
157
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
It is crucial to maximize marketing efficiency and customer satisfaction in personalized marketing. In this paper, we raise the multiple recommendation problem which occurs when pe...
185
click to vote
HYBRID
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
151
click to vote
PATMOS
2004
Springer
16 years 15 hour ago
2004
Springer
Motivated by very/ultra large scale integrated circuit (VLSI/ULSI) physical design applications, we study the construction of rectilinear minimum spanning tree (RMST) with its maxi...