4095 search results - page 329 / 819 » How to test a tree |
143
click to vote
ICSE
2009
IEEE-ACM
16 years 8 days ago
2009
IEEE-ACM
Code coverage is a common measure for quantitatively assessing the quality of software testing. Code coverage indicates the fraction of code that is actually executed by tests in ...
144
click to vote
PDCAT
2009
Springer
16 years 23 hour ago
2009
Springer
—We have proposed an auto-memoization processor. This processor automatically and dynamically memoizes both functions and loop iterations, and skips their execution by reusing th...
167
click to vote
ICRA
2008
IEEE
15 years 12 months ago
2008
IEEE
— In implementing a vision localization system, a crucial issue to consider is how to efficiently store and recall the necessary information so that the robot is not only able t...
161
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
139
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
We approached the problem as learning how to order documents by estimated relevance with respect to a user query. Our support vector machines based classifier learns from the rele...