Sciweavers

3025 search results - page 194 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
POPL
2010
ACM
16 years 25 days ago
Static Determination of Quantitative Resource Usage for Higher-Order Programs
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
105
Voted
HUMAN
2003
Springer
15 years 8 months ago
Implementation of a Web Robot and Statistics on the Korean Web
A web robot is a program that downloads and stores web pages. Implementation issues of web robots have been studied widely and various web statistics are reported in the literature...
Sung Jin Kim, Sang Ho Lee
102
Voted
ICINCO
2008
135views Robotics» more  ICINCO 2008»
15 years 4 months ago
A Generic Architecture for a Companion Robot
Despite much research on companion robots and affective virtual characters, a comprehensive discussion on a generic architecture is lacking. We compile a list of possible requireme...
Bas R. Steunebrink, Nieske L. Vergunst, Christian ...
134
Voted
IROS
2009
IEEE
127views Robotics» more  IROS 2009»
15 years 10 months ago
Expressive facial speech synthesis on a robotic platform
— This paper presents our expressive facial speech synthesis system Eface, for a social or service robot. Eface aims at enabling a robot to deliver information clearly with empat...
Xingyan Li, Bruce MacDonald, Catherine I. Watson
PLDI
2003
ACM
15 years 8 months ago
Automatically proving the correctness of compiler optimizations
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
Sorin Lerner, Todd D. Millstein, Craig Chambers