8874 search results - page 1634 / 1775 » A New Implementation of Automath |
130
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
There are many application classes where the users are flexible with respect to the output quality. At the same time, there are other constraints, such as the need for real-time ...
120
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Distributed computing systems are a viable and less expensive alternative to parallel computers. However, concurrent programming methods in distributed systems have not been studi...
122
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In our research project named “Mega-Scale Computing Based on Low-Power Technology and Workload Modeling”, we have been developing a prototype cluster not based on ASIC or FPGA...
137
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
This work is about the relevance of Gibson’s concept of affordances [1] for visual perception in interactive and autonomous robotic systems. In extension to existing functional ...
146
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper presents a robot audition system that recognizes simultaneous speech in the real world by using robotembedded microphones. We have previously reported Missing Featur...