677 search results - page 111 / 136 » Dependent Types from Counterexamples |
152
click to vote
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
130
click to vote
SI3D
2006
ACM
15 years 10 months ago
2006
ACM
Shade Trees Morgan McGuire George Stathis Hanspeter Pfister Shriram Krishnamurthi Brown University Harvard Extension School MERL Brown University As GPU-powered special effects be...
138
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Adaptive hypermedia constitutes a pretty rich resource for developing web-based courses. With the aim of dynamically generating adaptive ecourses, we have developed the T...
183
click to vote
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
172
click to vote
ESANN
2007
15 years 5 months ago
2007
Uncertainty is a popular phenomenon in machine learning and a variety of methods to model uncertainty at different levels has been developed. The aim of this paper is to motivate ...