4095 search results - page 767 / 819 » How to test a tree |
171
click to vote
ISPASS
2007
IEEE
16 years 3 days 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...
171
click to vote
TPHOL
2007
IEEE
16 years 2 days 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 ...
140
click to vote
ATAL
2007
Springer
16 years 4 hour 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...
172
click to vote
CIKM
2007
Springer
16 years 8 min ago
2007
Springer
Traditional adaptive filtering systems learn the user’s interests in a rather simple way – words from relevant documents are favored in the query model, while words from irre...
134
click to vote
CIVR
2007
Springer
15 years 12 months ago
2007
Springer
The vast majority of the features used in today’s commercially deployed image search systems employ techniques that are largely indistinguishable from text-document search – t...