92 search results - page 19 / 19 » Classification of Optical Flow by Constraints |
ICFP
2006
ACM
14 years 4 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
SIAMSC
2008
13 years 4 months ago
2008
We develop a computational method for simulating models of gel dynamics where the gel is described by two phases, a networked polymer and a fluid solvent. The models consist of tra...