1216 search results - page 122 / 244 » Hybrid type checking |
148
click to vote
SAC
2006
ACM
15 years 9 months ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
159
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes our study into the concept of using rewards in a classifier system applied to the acquisition of decision-making algorithms for agents in a soccer game. Our a...
141
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
The appearance of surface texture as it varies with angular changes of view and illumination is becoming an increasingly important research topic. The bidirectional texture functi...
175
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Recent progress on nanodevices, such as carbon nanotubes and nanowires, points to promising directions for future circuit design. However, nanofabrication techniques are not yet m...
132
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Interactive 3D games are now widely available on a variety of mobile devices for which battery-life is a major concern. Many of these devices support voltage/frequencyscalable pro...