1996 search results - page 11 / 400 » A decision procedure for linear |
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
JANCL
2006
14 years 10 months ago
2006
We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, ...
74
Voted
VLC
2011
14 years 5 months ago
2011
Constraint diagrams were introduced by Kent, in 1997, as an alternative to the OCL for placing formal constraints on software models. Since their introduction, constraint diagrams...
CCE
2008
2008
A hierarchical decision procedure for productivity innovation in large-scale petrochemical processes
14 years 10 months ago
Maintaining the best quality is essential for the survival of a company in a globally competitive world. Six Sigma activity has been widely accepted as one of the most efficient a...
INFORMATICALT
2008
14 years 10 months ago
2008
Abstract. In this paper, a new multi-criteria decision-making procedure is presented, which captures preferential information in the form of the threshold model. It is based on the...