Sciweavers

45 search results - page 6 / 9
» Parameterized modules in Erlang
Sort
View
TCS
2002
14 years 9 months ago
Tilings as a programming exercise
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...
Guy Cousineau
82
Voted
MMM
2005
Springer
108views Multimedia» more  MMM 2005»
15 years 3 months ago
An Interactive Camera Planning System for Automatic Cinematographer
Currently most systems capable of performing intelligent camera control use cinematographic idioms or a constraint satisfaction mechanism to determine a sequence of camera configu...
Tsai-Yen Li, Xiang-Yan Xiao
ICFEM
2000
Springer
15 years 1 months ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai
POPL
2006
ACM
15 years 9 months ago
Modular set-based analysis from contracts
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
Philippe Meunier, Robert Bruce Findler, Matthias F...
ATAL
2003
Springer
15 years 2 months ago
Automated derivation of behavior vocabularies for autonomous humanoid motion
In this paper we address the problem of automatically deriving vocabularies of motion modules from human motion data, taking advantage of the underlying spatio-temporal structure ...
Odest Chadwicke Jenkins, Maja J. Mataric