1205 search results - page 126 / 241 » Program Extraction from Large Proof Developments |
OTM
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents the works done by several research groups from University of Extremadura and CETA-CIEMAT (Centro Extreme˜no de Tecnolog´ıas Avanzadas) in order to deploy an ...
LREC
2008
15 years 3 months ago
2008
Computational terminology has notably evolved since the advent of computers. Regarding the extraction of terms in particular, a large number of resources has been developed: from ...
134
click to vote
SEMCO
2007
IEEE
15 years 7 months ago
2007
IEEE
The proliferation of digital libraries and the large amount of existing documents raise important issues in efficient handling of documents. Printed texts in documents need to be...
104
click to vote
ICRA
2010
IEEE
15 years 1 days ago
2010
IEEE
— We aim to perform robust and fast vision-based localization using a pre-existing large map of the scene. A key step in localization is associating the features extracted from t...
126
click to vote
ICDE
2011
IEEE
14 years 5 months ago
2011
IEEE
—Dynamic software updating research efforts have mostly been focused on updating application code and in-memory state. As more and more applications use embedded databases for st...