3456 search results - page 377 / 692 » Algorithms for Interface Synthesis |
182
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...
174
click to vote
CGF
2008
15 years 6 months ago
2008
We present a flexible GPU kernel for adaptive on-the-fly refinement of meshes with arbitrary topology. By simply reserving a small amount of GPU memory to store a set of adaptive ...
173
click to vote
CGF
2008
15 years 6 months ago
2008
We propose a framework for 3D geometry processing that provides direct access to surface curvature to facilitate advanced shape editing, filtering, and synthesis algorithms. The c...
173
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms w...
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...