626 search results - page 69 / 126 » When Can Formal Methods Make a Real Difference |
143
Voted
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
The 3D reconstruction of a face from a single frontal image is an ill-posed problem. This is further accentuated when the face image is captured under different poses and/or compl...
123
Voted
IJCAI
2003
15 years 4 months ago
2003
A longstanding goal in planning research is the ability to generalize plans developed for some set of environments to a new but similar environment, with minimal or no replanning....
150
Voted
ERCIMDL
2000
Springer
15 years 7 months ago
2000
Springer
Segmentation of a colour image composed of different kinds of texture regions can be a hard problem, namely to compute for an exact texture fields and a decision of the optimum num...
142
click to vote
ALMOB
2007
15 years 3 months ago
2007
Background: Some amino acid residues functionally interact with each other. This interaction will result in an evolutionary co-variation between these residues – coevolution. Ou...
151
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: High-throughput screening (HTS) is a key part of the drug discovery process during which thousands of chemical compounds are screened and their activity levels measure...