1042 search results - page 175 / 209 » Failing First: An Update |
EKAW
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
ICWSM
2008
13 years 11 months ago
2008
We explore the emerging phenomenon of blogging about personal goals, and demonstrate how natural language processing tools can be used to uncover psychologically meaningful constr...
MVA
2007
13 years 11 months ago
2007
This paper presents a novel hybrid method for extracting license plates and recognizing characters from low-quality videos using morphological operations and Adaboost algorithm. F...
AAAI
2006
13 years 11 months ago
2006
The Infrastructure of modern society is controlled by software systems that are vulnerable to attacks. Many such attacks, launched by "recreational hackers" have already...