9370 search results - page 388 / 1874 » An Abstract Notion of Application |
206
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Motivated by strong Karp-Lipton collapse results in bounded arithmetic, Cook and Kraj´ıˇcek [7] have recently introduced the notion of propositional proof systems with...
154
click to vote
RECOMB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. There have been many widely used genome rearrangement models, such as reversals, HannenhalliPevzner, and double-cut and join. Though each one can be precisely defined, t...
170
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
161
click to vote
ALDT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Several schemes have been proposed for compactly representing multiattribute utility functions, yet none seems to achieve the level of success achieved by Bayesian and Ma...
169
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...