488 search results - page 85 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
148
click to vote
ANLP
1994
15 years 4 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
144
click to vote
KDD
2009
ACM
15 years 7 months ago
2009
ACM
Learning from data streams is a research area of increasing importance. Nowadays, several stream learning algorithms have been developed. Most of them learn decision models that c...
160
click to vote
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...
122
click to vote
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
This paper presents a generic architecture for handwriting documents analysis. It covers all analysis steps from the content description of the document (layout analysis, handwrit...
112
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...