3228 search results - page 336 / 646 » Computationally Sound Proofs |
140
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
134
click to vote
ENTCS
2006
15 years 4 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
165
Voted
LOGCOM
2008
15 years 4 months ago
2008
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
140
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
145
click to vote
CG
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents an evaluation of the benefits and user acceptance of a multimodal interface in which the user interacts with a game-like interactive virtual reality applicatio...