4099 search results - page 105 / 820 » A Framework for Interactive Proof |
108
click to vote
C5
2004
IEEE
15 years 1 months ago
2004
IEEE
We describe a design for a collaborative Virtual Learning Environment (VLE) to support massively multi-user and multi-institutional learning communities. This architecture extends...
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
CVBIA
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we propose a new framework for active contour and surface models. Based on the concepts of the elastic interaction between line defects in solids, this framework de...
SIGGRAPH
1996
ACM
15 years 2 months ago
1996
ACM
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...
ENTCS
2008
14 years 10 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...