3951 search results - page 400 / 791 » Automatic amortized analysis |
169
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
163
click to vote
ICDAR
1995
IEEE
15 years 10 months ago
1995
IEEE
The process of converting an analog map into structured digitized information requires several di erent operations, which are all time-consuming when performed manually. Strictly ...
187
Voted
ICDAR
1995
IEEE
15 years 10 months ago
1995
IEEE
A system for the acquisition, storage, indexing, and retrieval of map images is presented. The input to this system are raster images of separate map layers and map composites. A ...
180
click to vote
DRR
2010
15 years 9 months ago
2010
We describe a technique of linguistic post-processing of whole-book recognition results. Whole-book recognition is a technique that improves recognition of book images using fully...
198
click to vote
ICIA
2007
15 years 9 months ago
2007
Although there are high expectations for collaborative discussion and on-line learning, existing systems for on-line discussion and chat facilities are not fully effective in prom...