407 search results - page 19 / 82 » On sequential functionals of type 3 |
SIGGRAPH
1994
ACM
14 years 21 days ago
1994
ACM
We present a paradigm and toolkit for rapid prototyping of interactive, animated 3D graphics programs. The paradigm has its roots in declarative programming, emphasizing immutable...
JAIR
2007
13 years 8 months ago
2007
Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can ...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
MIRAGE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we take a fresh look at the problem of extracting shape from contours of human faces. We focus on two key questions: how can we robustly fit a 3D face mode...
INFORMATICALT
2007
13 years 8 months ago
2007
Abstract. A medical-meteorological weather assessment using hybrid spatial classification of synoptic and meteorological data was done. Empirical models for assessment as well as ...