1150 search results - page 151 / 230 » Specifying Information-Flow Controls |
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
We propose a method for applying genetic algorithms to create 3D terrain data sets. Existing procedural algorithms for generation of terrain have several shortcomings. The most po...
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
SEW
2003
IEEE
14 years 1 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
SI3D
2003
ACM
14 years 1 months ago
2003
ACM
Many virtual environments and games must be populated with synthetic characters to create the desired experience. These characters must move with sufficient realism, so as not to...
DBKDA
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...