7167 search results - page 1109 / 1434 » A Technique for Invariant Generation |
185
click to vote
COMPSAC
2000
IEEE
16 years 9 hour ago
2000
IEEE
Genetic programming tackles the issue of how to automatically create a working computer program for a given problem from some initial problem statement. The goal is accomplished i...
182
Voted
ICCAD
2000
IEEE
16 years 34 min ago
2000
IEEE
—As the complexity of digital filters is dominated by the number of multiplications, many works have focused on minimizing the complexity of multiplier blocks that compute the co...
208
Voted
ICPP
2000
IEEE
15 years 12 months ago
2000
IEEE
A new technique to parallelize loops with variable distance vectors is presented. The method extends previous methods in two ways. First, the present method makes it possible for ...
181
click to vote
ICRA
2000
IEEE
15 years 12 months ago
2000
IEEE
In this paper, we investigate methods for enabling a human operator and an automatic motion planner to cooperatively solve a motion planning query. Our work is motivated by our ex...
193
Voted
ICRA
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper presents a randomized motion planner for kinodynamic asteroidavoidanceproblems, in which a robot must avoid collision with moving obstacles under kinematic, dynamic con...