1205 search results - page 135 / 241 » Program Extraction from Large Proof Developments |
110
click to vote
ITCC
2005
IEEE
15 years 7 months ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
135
click to vote
IDEAS
1998
IEEE
15 years 5 months ago
1998
IEEE
We develop an infrastructure for managing, indexing and serving multimedia content in digital libraries. This infrastructure follows the model of the web, and thereby is distribut...
101
click to vote
CICLING
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Documents written in languages other than English sometimes include parenthetical English translations, usually for technical and scienti c terminology. Techniques had be...
RIAO
2004
15 years 2 months ago
2004
We present some of the technology developed at StreamSage for indexing and retrieving audio/video data. A primary difficulty of this task is precise extraction of the passages rel...
105
click to vote
NAR
2008
15 years 1 months ago
2008
Here we report the new features and improvements in our latest release of the H-Invitational Database (H-InvDB; http://www.h-invitational.jp/), a comprehensive annotation resource...