2287 search results - page 271 / 458 » Making it Real |
146
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
132
click to vote
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
143
click to vote
ICASSP
2007
IEEE
15 years 7 months ago
2007
IEEE
Motion estimation is the most time-consuming subsystem in a video codec. Thus, more efficient methods of motion estimation should be investigated. Real video sequences usually exh...
158
click to vote
AHS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper gives an overview over the progress that has been made by the Heidelberg FPTA group within the field of analog evolvable hardware. Achievements are the design of a CMOS...
164
click to vote
AI
2006
Springer
15 years 7 months ago
2006
Springer
Real world multiagent coordination problems are important issues for reinforcement learning techniques. In general, these problems are partially observable and this characteristic ...