4524 search results - page 592 / 905 » The Complexity of Global Constraints |
225
click to vote
SPIRE
2005
Springer
16 years 1 months ago
2005
Springer
Effective information retrieval in XML documents requires the user to have good knowledge of document structure and of some formal query language. XML query languages like XPath a...
196
click to vote
ARCS
2004
Springer
16 years 29 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...
182
click to vote
CONCUR
2004
Springer
16 years 29 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...
174
click to vote
GECCO
2004
Springer
16 years 28 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...
219
click to vote
HYBRID
2004
Springer
16 years 28 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...