2500 search results - page 300 / 500 » Specifying Behavior in C |
147
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
133
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
When designing heterogeneous MP-SoCs designers have to take into account various objectives such as power, die size, flexibility, performance or programmability. But to be able t...
132
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Super-resolution reconstruction algorithms assume the availability of exact registration and blur parameters. Inaccurate estimation of these parameters adversely affects the quali...
141
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper, we propose a new concept — the “Reciprocal Velocity Obstacle”— for real-time multi-agent navigation. We consider the case in which each agent navigates i...
82
Voted
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Behavior-based controllers for complex missions often are more easily designed by decomposing the mission into a series of smaller subtasks. When applying this technique to a m...