12774 search results - page 138 / 2555 » A Framework for Proof Systems |
139
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
144
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
138
Voted
CAV
2001
Springer
15 years 8 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
156
click to vote
CADE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
133
click to vote
MKM
2004
Springer
15 years 9 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...