5570 search results - page 996 / 1114 » Applications of Fair Testing |
154
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Audio Video coding Standard (AVS) is China’s secondgeneration source coding/decoding standard with fully Intellectual Properties. As the sixth part of AVS standard, AVSDRM aims ...
190
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Map learning is a fundamental task in mobile robotics because maps are required for a series of high level applications. In this paper, we address the problem of building maps ...
195
click to vote
ISPASS
2007
IEEE
16 years 1 months ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
217
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
153
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we discuss the use of Targeted Trajectory Distribution Markov Decision Processes (TTD-MDPs)—a variant of MDPs in which the goal is to realize a specified distrib...