3951 search results - page 507 / 791 » Automatic amortized analysis |
182
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Image anchor templates are used in document image analysis for document classification, data localization, and other tasks. Current tools allow human operators to mark out small s...
154
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Wireless Capsule Endoscopy (WCE) is a technical break-through that allows to produce a video of the entire intestine without surgery. It is reported that a medical clinician spend...
192
click to vote
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
SOABench is a framework for the automatic generation, execution and analysis of testbeds for evaluating the performance of service-oriented middleware. Testbeds can be characteriz...
174
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we report a robust, efficient, and automatic method for matching infrared tracked markers for human motion analysis in computer-aided physical therapy applications. ...
153
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...