4276 search results - page 671 / 856 » Techniques for Empirical Validation |
187
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
Step caches are caches in which data entered to an cache array is kept valid only until the end of ongoing step of execution. Together with an advanced pipelined multithreaded arc...
143
click to vote
SMI
2006
IEEE
16 years 12 days ago
2006
IEEE
Polygonal meshes obtained from acquisition of real-world objects may easily exhibit topological or geometrical defects, which often prevent subsequent processing and analysis to p...
192
click to vote
SYNASC
2006
IEEE
16 years 12 days ago
2006
IEEE
Evolutionary support vector machines (ESVMs) are a novel technique that assimilates the learning engine of the state-of-the-art support vector machines (SVMs) but evolves the coef...
178
click to vote
ACL2
2006
ACM
16 years 11 days 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...
158
click to vote
ECLIPSE
2006
ACM
16 years 11 days ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...