2944 search results - page 365 / 589 » On Well Quasi-orders on Languages |
148
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
In the context of previous work on redundant modeling, permutation problems and matrix modeling, we introduce the notion of partial redundant modeling and categorical channeling co...
177
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
179
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
144
click to vote
EPEW
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...
206
click to vote
HYBRID
2005
Springer
16 years 3 days ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...