3742 search results - page 679 / 749 » On the Use of Formal Techniques for Validation |
159
click to vote
ICCBR
2001
Springer
15 years 10 months ago
2001
Springer
Case-based reasoning aims to use past experience to solve new problems. A strong requirement for its application is that extensive experience base exists that provides statisticall...
163
click to vote
KI
2001
Springer
15 years 10 months 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...
178
click to vote
RIAO
2007
15 years 7 months ago
2007
Navigation in and access to the contents of digital audio archives have become increasingly important topics in Information Retrieval. Both private and commercial music collection...
163
click to vote
ANLP
1997
15 years 7 months ago
1997
We present results of probabilistic tagging of Czech texts in order to show how these techniques work for one of the highly morphologically ambiguous inflective languages. After d...
156
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Small molecular cofactors or ligands play a crucial role in the proper functioning of cells. Accurate annotation of their target proteins and binding sites is required...