Sciweavers

2501 search results - page 141 / 501
» Obligations and Their Interaction with Programs
Sort
View
WSCG
2004
173views more  WSCG 2004»
13 years 10 months ago
Production Interface for WEB-deliverable Realistic Interactive 3D Facial Animation
We present a new interface for producing high quality web deliverable interactive 3D facial animation. We aim at providing visual artists with established 3D character animation t...
Nicoletta Adamo-Villani, Amit Chourasia, Clark A. ...
CEC
2010
IEEE
13 years 9 months ago
Implementing an intuitive mutation operator for interactive evolutionary 3D design
Abstract— Locality - how well neighbouring genotypes correspond to neighbouring phenotypes - has been described as a key element in Evolutionary Computation. Grammatical Evolutio...
Jonathan Byrne, James McDermott, Edgar Galvá...
CORR
2007
Springer
77views Education» more  CORR 2007»
13 years 9 months ago
On the interaction between sharing and linearity
nalysis of logic programs, abstract domains for detecting sharing and linearity ion are widely used. Devising abstract unification algorithms for such domains has proved to be ra...
Gianluca Amato, Francesca Scozzari
ICSE
2005
IEEE-ACM
14 years 9 months ago
CodeCrawler: an information visualization tool for program comprehension
CODECRAWLER (in the remainder of the text CC) is a language independent, interactive, information visualization tool. It is mainly targeted at visualizing object-oriented software...
Harald Gall, Martin Pinzger, Michele Lanza, St&eac...
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
14 years 4 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold