Sciweavers

3363 search results - page 250 / 673
» A Framework for Knowledge Reuse
Sort
View
DAS
2008
Springer
15 years 8 months ago
HistoSketch: A Semi-Automatic Annotation Tool for Archival Documents
This article describes a sketch-based framework for semi-automatic annotation of historical document collections. It is motivated by the fact that fully automatic methods, while h...
Joan Mas, José A. Rodríguez, Dimosth...
ENTCS
2002
129views more  ENTCS 2002»
15 years 6 months ago
Argumentative Agent Deliberation, Roles and Context
This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the ...
Antonis C. Kakas, Pavlos Moraitis
SIGMOD
2005
ACM
177views Database» more  SIGMOD 2005»
16 years 6 months ago
An approach for pipelining nested collections in scientific workflows
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...
Timothy M. McPhillips, Shawn Bowers
ISORC
2005
IEEE
16 years 6 days ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
AMAST
2000
Springer
15 years 11 months ago
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
Sofia Guerra