320 search results - page 60 / 64 » Constructing Invariants for Hybrid Systems |
106
Voted
ISIPTA
1999
IEEE
15 years 4 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
LREC
2008
15 years 1 months ago
2008
We outline a methodological classification for evaluation approaches of software in general. This classification was initiated partly owing to involvement in a biennial European c...
107
click to vote
VR
2009
IEEE
15 years 6 months ago
2009
IEEE
Due to the intrinsic subtlety and dynamics of eye movements, automated generation of natural and engaging eye motion has been a challenging task for decades. In this paper we pres...
88
Voted
SI3D
2009
ACM
15 years 4 months ago
2009
ACM
This paper describes a data-driven approach for generating photorealistic animations of human motion. Each animation sequence follows a user-choreographed path and plays continuou...
ICFP
2010
ACM
15 years 22 days ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...