193 search results - page 26 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
DAC
2009
ACM
14 years 3 months ago
2009
ACM
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
In this paper we describe a practical framework for studying the navigational behavior of the users of an e-learning environment integrated in a virtual campus. The students navig...
CVPR
1999
IEEE
14 years 10 months ago
1999
IEEE
We1 present a new method to shape-based segmentation of deformable anatomical structures in medical images and validate this approach by detecting and tracking the endocardial bor...
IJCV
2007
13 years 8 months ago
2007
The paper first traces the image-based modeling back to feature tracking and factorization that have been developed in the group led by Kanade since the eighties. Both feature tra...