Sciweavers

282 search results - page 48 / 57
» Description Logics for Shape Analysis
Sort
View
MVA
2000
203views Computer Vision» more  MVA 2000»
14 years 7 days ago
An Environment to Test Progressive Refinement of Indexing for Content-Based Image Retrieval
Content-based image retrieval is a fairly new discipline. Yet research in this field has highlighted many approaches that show good performance in specific subproblems using singl...
Maria Grazia Albanesi, Marco Ferretti, Alessandro ...
ESWS
2007
Springer
14 years 5 months ago
Empowering Software Maintainers with Semantic Web Technologies
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
René Witte, Yonggang Zhang, Juergen Rilling
ICDAR
2005
IEEE
14 years 4 months ago
The Recognition Strategy Language
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
Richard Zanibbi, Dorothea Blostein, James R. Cordy
FM
2003
Springer
115views Formal Methods» more  FM 2003»
14 years 4 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
LREC
2010
165views Education» more  LREC 2010»
14 years 10 days ago
Corpus-based Semantics of Concession: Where do Expectations Come from?
In this paper, we discuss our analysis and resulting new annotations of Penn Discourse Treebank (PDTB) data tagged as Concession. Concession arises whenever one of the two argumen...
Livio Robaldo, Eleni Miltsakaki, Alessia Bianchini