1712 search results - page 337 / 343 » Abstract Constraint Data Types |
210
click to vote
CPAIOR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
190
click to vote
PPDP
2007
Springer
16 years 18 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
197
click to vote
INFOCOM
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract— To increase reliability and robustness of missioncritical services in the face of routing changes, it is often desirable and beneficial to take advantage of path diver...
184
click to vote
RTAS
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract— The increasing use of electronics in transport systems, such as the automotive and avionic domain, has lead to dramatic improvements with respect to functionality, safe...
172
click to vote
GFKL
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. This study focuses on the contribution of sentence length for a quantitative text typology. Therefore, 333 Slovenian texts are analyzed with regard to their sentence leng...