Sciweavers

2517 search results - page 250 / 504
» Specifying Weak Sets
Sort
View
CIARP
2005
Springer
16 years 6 days ago
Automatic Evaluation of Document Binarization Results
Most of the document binarization techniques have many parameters that can initially be specified. Usually, subjective document binarization evaluation, employs human observes for ...
Euthimios Badekas, Nikos Papamarkos
CICLING
2005
Springer
16 years 6 days ago
Automatic Annotation of Corpora for Text Summarisation: A Comparative Study
This paper presents two methods which automatically produce annotated corpora for text summarisation on the basis of human abstracts. Both methods identify a set of sentences from ...
Constantin Orasan
ICNC
2005
Springer
16 years 5 days ago
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
Xinyu Zhao, Zuoquan Lin
IICS
2005
Springer
16 years 5 days ago
Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
Ismail Assayad, Sergio Yovine
CAISE
2004
Springer
16 years 1 days ago
Modelling Data-Intensive Web Sites with OntoWeaver
This paper illustrates the OntoWeaver modelling approach, which relies on a set of comprehensive site ontologies to model all aspects of dataintensive web sites and thus offers hig...
Yuangui Lei, Enrico Motta, John Domingue