Sciweavers

3281 search results - page 191 / 657
» An Approach to use Executable Models for Testing
Sort
View
CVPR
2005
IEEE
16 years 5 months ago
Pose-Robust Face Recognition Using Geometry Assisted Probabilistic Modeling
Researchers have been working on human face recognition for decades. Face recognition is hard due to different types of variations in face images, such as pose, illumination and e...
Xiaoming Liu 0002, Tsuhan Chen
112
Voted
MMM
2005
Springer
128views Multimedia» more  MMM 2005»
15 years 9 months ago
Feature Combination and Relevance Feedback for 3D Model Retrieval
Retrieval of 3D models have attracted much research interest, and many types of shape features have been proposed. In this paper, we describe a novel approach of combining the fea...
Indriyati Atmosukarto, Wee Kheng Leow, Zhiyong Hua...
162
Voted
EMSOFT
2008
Springer
15 years 5 months ago
Active property checking
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
Patrice Godefroid, Michael Y. Levin, David A. Moln...
136
Voted
INFORMATICALT
2002
91views more  INFORMATICALT 2002»
15 years 3 months ago
Bayesian Heuristic Approach to Scheduling
Abstract. Real life scheduling problems are solved by heuristics with parameters defined by experts, as usual. In this paper a new approach is proposed where the parameters of vari...
Jonas Mockus
153
Voted
BMCBI
2010
164views more  BMCBI 2010»
15 years 3 months ago
Gene regulatory networks modelling using a dynamic evolutionary hybrid
Background: Inference of gene regulatory networks is a key goal in the quest for understanding fundamental cellular processes and revealing underlying relations among genes. With ...
Ioannis A. Maraziotis, Andrei Dragomir, Dimitris T...