1140 search results - page 162 / 228 » Progress on Certifying Algorithms |
116
Voted
EUC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In the future, homes will have numerous intelligent communicating devices, and the user would like to configure and coordinate their actions. Appliances and people in in...
120
Voted
FPGA
2005
ACM
15 years 6 months ago
2005
ACM
Configurable processors are becoming increasingly popular for modern embedded systems (especially for the field-programmable system-on-a-chip). While steady progress has been made...
106
click to vote
LCPC
2005
Springer
15 years 6 months ago
2005
Springer
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...
81
Voted
ATAL
2005
Springer
2005
Springer
The DEFACTO system for human omnipresence to coordinate agent teams: the future of disaster response
15 years 6 months ago
Enabling interactions of agent-teams and humans is a critical area of research, with encouraging progress in the past few years. However, previous work suffers from three key lim...
92
Voted
ACMSE
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents a distributed multi-robot system designed to solve a team-based search and destroy task. The project was divided into two phases. The initial phase was used to...