715 search results - page 74 / 143 » Automatic Programming for Sequence Control |
171
Voted
ICRA
2007
IEEE
16 years 21 days 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...
146
Voted
APLAS
2006
ACM
16 years 11 days 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...
211
click to vote
AMOST
2007
ACM
15 years 10 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...
186
Voted
MICRO
2009
IEEE
16 years 1 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...
157
click to vote
CEC
2005
IEEE
16 years 14 hour 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...