Sciweavers

6590 search results - page 1061 / 1318
» Evaluating the performance engineering process
Sort
View
PLDI
2006
ACM
16 years 17 days ago
Termination proofs for systems code
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
Byron Cook, Andreas Podelski, Andrey Rybalchenko
CCGRID
2005
IEEE
16 years 7 days ago
Using semantic Web technology to automate data integration in grid and Web service architectures
While the Grid and Web Services have helped us support heterogeneous resource access through the use of service oriented architectures, they have not addressed the issue of hetero...
Martin Szomszor, Terry R. Payne, Luc Moreau
ICITA
2005
IEEE
16 years 6 days ago
Partition-Based Parallel PageRank Algorithm
A re-ranking technique,called “PageRank brings a successful story behind the search engine. Many studies focus on finding an way to compute the PageRank scores of a large web gr...
Arnon Rungsawang, Bundit Manaskasemsak
WACV
2005
IEEE
16 years 6 days ago
Incorporating Background Invariance into Feature-Based Object Recognition
Current feature-based object recognition methods use information derived from local image patches. For robustness, features are engineered for invariance to various transformation...
Andrew N. Stein, Martial Hebert
AIED
2005
Springer
16 years 5 days ago
Tradeoff analysis between knowledge assessment approaches
Abstract: The problem of modeling and assessing an individual’s ability level is central to learning environments. Numerous approaches exists to this end. Computer Adaptive Testi...
Michel Desmarais, Shunkai Fu, Xiaoming Pu
« Prev « First page 1061 / 1318 Last » Next »