1340 search results - page 240 / 268 » Kalman Temporal Differences |
108
click to vote
ICCAD
2003
IEEE
15 years 5 months ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
CHI
2003
ACM
15 years 5 months ago
2003
ACM
BreakingStory is an interactive system for visualizing change in online news. The system regularly collects the text from the front pages of international daily news web sites. It...
SIGOPSE
2000
ACM
15 years 4 months ago
2000
ACM
Recently there has been a renewed interest in the application of economic models to the management of computational resources. Most of this interest is focused on pricing models f...
104
click to vote
ISCA
1997
IEEE
15 years 4 months ago
1997
IEEE
The effectiveness of texture mapping in enhancing the realism of computer generated imagery has made support for real-time texture mapping a critical part of graphics pipelines. D...
158
click to vote
FASE
2004
Springer
15 years 3 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...