1021 search results - page 43 / 205 » Concepts in Proof Planning |
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
AUTOMATICA
2010
13 years 8 months ago
2010
This paper addresses planning of continuous paths for mobile sensors to reduce uncertainty in some quantities of interest in the future. The mutual information between the measure...
ICALT
2009
IEEE
14 years 3 months ago
2009
IEEE
Personal Development Plans (PDP) have positive effects in learners’ motivation and confidence since they enable individuals to reflect upon their own learning and to plan for th...
ISPD
2000
ACM
14 years 1 months ago
2000
ACM
In this paper we present a repeater block planning algorithm for interconnect-centric floorplanning. We introduce the concept of independent feasible regions for repeaters and der...
AIL
2004
13 years 8 months ago
2004
This article describes an ontological model of norms. The basic assumption is that a substantial part of a legal system is grounded on the concept of agency. Since a legal system a...