4433 search results - page 521 / 887 » Dynamic Optimization of Micro-Operations |
175
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
169
click to vote
HT
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents the principles of ontology-supported and ontology-driven conceptual navigation. Conceptual navigation realizes the independence between resources and links to ...
167
click to vote
EUROGP
1999
Springer
15 years 11 months ago
1999
Springer
Abstract We consider a form of phenotype plasticity in Genetic Programming (GP). This takes the form of a set of real-valued numerical parameters associated with each individual, a...
152
click to vote
ACCV
1998
Springer
15 years 11 months ago
1998
Springer
A new paradigm, the minimization of errors in synthesized images, is introduced to organically combine Computer Vision and Computer Graphics for Virtual Reality applications. Based...
166
Voted
ICES
1998
Springer
15 years 11 months ago
1998
Springer
This paper focuses on characteristics and applications of evolvable hardware (EHW) to space systems. The motivation for looking at EHW originates in the need for more autonomous ad...