Sciweavers

2229 search results - page 103 / 446
» On Reporting Fold Differences
Sort
View
ICPR
2006
IEEE
14 years 9 months ago
An Experimental Study on Automatic Face Gender Classification
This paper presents an experimental study on automatic face gender classification by building a system that mainly consists of four parts, face detection, face alignment, texture ...
Haizhou Ai, Ming Li, Zhiguang Yang
MICCAI
2005
Springer
14 years 9 months ago
Random Walks for Interactive Organ Segmentation in Two and Three Dimensions: Implementation and Validation
A new approach to interactive segmentation based on random walks was recently introduced that shows promise for allowing physicians more flexibility to segment arbitrary objects in...
Leo Grady, Thomas Schiwietz, Shmuel Aharon, Rü...
ICSE
2009
IEEE-ACM
14 years 9 months ago
Effective static deadlock detection
We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a different necessary co...
Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay
CADE
2004
Springer
14 years 8 months ago
Experiments on Supporting Interactive Proof Using Resolution
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
Jia Meng, Lawrence C. Paulson
SIGMOD
2007
ACM
167views Database» more  SIGMOD 2007»
14 years 8 months ago
A critical look at the TAB benchmark for physical design tools
There has recently been considerable research on physical design tuning algorithms. At the same time, there is only one published methodology to evaluate the quality of different,...
Nicolas Bruno