1021 search results - page 43 / 205 » Concepts in Proof Planning |
194
click to vote
TPHOL
2008
IEEE
16 years 19 days 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...
141
click to vote
AUTOMATICA
2010
15 years 6 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...
149
click to vote
ICALT
2009
IEEE
16 years 1 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...
150
click to vote
ISPD
2000
ACM
15 years 10 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...
150
click to vote
AIL
2004
15 years 6 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...