162 search results - page 15 / 33 » Extraction in Coq: An Overview |
KI
2001
Springer
14 years 2 days ago
2001
Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
DELOS
2000
13 years 9 months ago
2000
: This paper presents an overview over parallel architectures for the efficient realisation of digital libraries by considering image databases as an example. The state of the art ...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Organizing the results of a search facilitates the user in overviewing the information returned. We regard the clustering task as the tasks of making labels for a list of items an...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents an overview of different approaches to melody segmentation aimed at extracting music lexical units, which can be used as content descriptors of music documents...
FQAS
2000
Springer
13 years 11 months ago
2000
Springer
This paper focuses on a grammar-based approach to semantic interpretation, which combines the notions of robust and weighted parsing. In restricted domains of application in infor...