1145 search results - page 196 / 229 » The Correctness of an Optimized Code Generation |
115
click to vote
ECCV
2008
Springer
16 years 1 months ago
2008
Springer
This paper presents an automatic efficient method to fit a statistical deformation model of the human face to 3D scan data. In a global to local fitting scheme, the shape parameter...
ICML
2005
IEEE
16 years 18 days ago
2005
IEEE
We present a novel unsupervised learning scheme that simultaneously clusters variables of several types (e.g., documents, words and authors) based on pairwise interactions between...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
RECONFIG
2009
IEEE
15 years 6 months ago
2009
IEEE
BLASTn is a ubiquitous tool used for large scale DNA analysis. Detailed profiling tests reveal that the most computationally intensive sections of the BLASTn algorithm are the sc...
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...