89463 search results - page 30 / 17893 » From |
ADAEUROPE
2001
Springer
14 years 1 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
AII
1992
14 years 21 days ago
1992
Most theoretical models of inductive inference make the idealized assumption that the data available to a learner is from a single and accurate source. The subject of inaccuracies ...
COMPSAC
2004
IEEE
14 years 11 days ago
2004
IEEE
The development of complex software systems involves collecting software requirements from various stakeholders. Often stakeholder perceptions conflict during the requirements eli...
DICTA
2007
13 years 10 months ago
2007
This paper presents an appearance–based method to automatically determine places from vision data for topological mapping. The approach exploits the continuity of the visual app...
EMNLP
2007
13 years 10 months ago
2007
We present two machine learning approaches to information extraction from semi-structured documents that can be used if no annotated training data are available, but there does ex...