Sciweavers

384 search results - page 65 / 77
» The Zeno Argumentation Framework
Sort
View
DSN
2005
IEEE
14 years 1 months ago
Assured Reconfiguration of Fail-Stop Systems
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...
Elisabeth A. Strunk, John C. Knight, M. Anthony Ai...
COMMA
2008
13 years 8 months ago
Applying Preferences to Dialogue Graphs
An abstract framework for formalising persuasion dialogues has recently been proposed. The framework provides for a range of speech acts, and protocols of varying levels of flexibi...
Sanjay Modgil, Henry Prakken
CAISE
2009
Springer
14 years 2 months ago
Declarative versus Imperative Process Modeling Languages: The Issue of Understandability
Advantages and shortcomings of different process modeling languages are heavily debated, both in academia and industry, but little evidence is presented to support judgements. Wit...
Dirk Fahland, Daniel Lübke, Jan Mendling, Haj...
CIVR
2003
Springer
156views Image Analysis» more  CIVR 2003»
14 years 18 days ago
Towards a Comprehensive Survey of the Semantic Gap in Visual Image Retrieval
This paper adopts the premise that the ‘semantic gap' is an incompletely surveyed feature in the landscape of visual image retrieval, and proposes a framework within which t...
Peter G. B. Enser, Christine J. Sandom
ICFP
1998
ACM
13 years 11 months ago
Intensional Polymorphism in Type-Erasure Semantics
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
Karl Crary, Stephanie Weirich, J. Gregory Morriset...