15792 search results - page 2994 / 3159 » Computational Abstraction Steps |
135
Voted
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
CP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper contains an experimental study of the impact of the construction strategy of reduced, ordered binary decision diagrams (ROBDDs) on the average-case computation...
109
click to vote
ESA
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Single nucleotide polymorphisms (SNPs) are the most frequent form of human genetic variation. They are of fundamental importance for a variety of applications including m...
106
Voted
EUROCRYPT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We consider the question of adaptive security for two related cryptographic primitives: all-or-nothing transforms and exposureresilient functions. Both are concerned with...
120
Voted
LPNMR
2001
Springer
15 years 5 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...