715 search results - page 74 / 143 » Automatic Programming for Sequence Control |
147
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper, we propose an original approach to control camera position and/or lighting conditions in an environment using image gradient information. Our goal is to ensure a...
116
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
180
click to vote
AMOST
2007
ACM
15 years 8 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
156
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...
130
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Described are new approaches for evaluating computer program representations for use in automated search methodologies such as the evolutionary design of software. Previously, prog...