3025 search results - page 578 / 605 » Automatic Programming of Robots Using Genetic Programming |
139
click to vote
FCCM
2011
IEEE
14 years 3 months ago
2011
IEEE
— This paper describes an architecture and FPGA synthesis toolchain for building specialized, energy-saving coprocessors called Irregular Code Energy Reducers (ICERs) for a wide ...
196
click to vote
SSDBM
2011
IEEE
14 years 3 months ago
2011
IEEE
Database technology remains underused in science, especially in the long tail the small labs and individual researchers that collectively produce the majority of scienti c output...
130
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
103
click to vote
EUROCAST
2007
Springer
15 years 3 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
107
click to vote
ICMI
2003
Springer
15 years 5 months ago
2003
Springer
Kinesthetic feedback is a key mechanism by which people perceive object properties during their daily tasks – particularly inertial properties. For example, transporting a glass...