1140 search results - page 109 / 228 » Progress on Certifying Algorithms |
80
Voted
ISBI
2007
IEEE
15 years 7 months ago
2007
IEEE
We build an image analysis toolbox for high-throughput Drosophila embryo RNAi screens. The goal is to tag the embryo as normal, developmentally delayed or abnormal based on the ve...
106
click to vote
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
– In this paper, we present a hierarchical methodology that learns new walking gaits autonomously while operating in an uncharted environment, such as on the Mars planetary surfa...
93
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
107
click to vote
DIAL
2006
IEEE
15 years 6 months ago
2006
IEEE
We explore connections between digital libraries and interactive document image analysis. Digital libraries can provide useful data and metadata for research in automated document...
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Low-delay video coding is a key technology for video conferencing as well as upcoming remote-monitoring and automotive video applications like rear-view cameras or night vision sy...