2583 search results - page 376 / 517 » On the Representation of Timed Polyhedra |
151
click to vote
CAV
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
149
click to vote
CPAIOR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. AND/OR search spaces are a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensitivity to the struc...
179
click to vote
DBPL
2007
Springer
16 years 17 days ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
144
click to vote
ECOWS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The greater and greater quantity of services that are available over the web causes a growing attention to techniques that facilitate their reuse. A web service specific...
171
click to vote
ERCIMDL
2007
Springer
16 years 17 days ago
2007
Springer
Modern digital music libraries contain textual, visual, and audio data describing music on various semantic levels. Exploiting the availability of different semantically interrela...