Sciweavers

1149 search results - page 14 / 230
» What Are Iteration Theories
Sort
View
41
Voted
LPNMR
2011
Springer
12 years 10 months ago
What Are the Necessity Rules in Defeasible Reasoning?
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
Ho-Pun Lam, Guido Governatori
AC
2004
Springer
13 years 7 months ago
The Timeboxing process model for iterative software development
In today's business where speed is of essence, an iterative development approach that allows the functionality to be delivered in parts has become a necessity and an effectiv...
Pankaj Jalote, Aveejeet Palit, Priya Kurien
DAGSTUHL
2007
13 years 9 months ago
Semantic structures for one-stage and iterated belief revision
Semantic structures for belief revision are proposed. We start with one-stage revision structures that generalize the notion of choice function from rational choice theory. A corr...
Giacomo Bonanno
MIR
2005
ACM
136views Multimedia» more  MIR 2005»
14 years 1 months ago
Multimedia information retrieval: what is it, and why isn't anyone using it?
In this paper, the participants of the panel at the 7th ACM SIGMM International Workshop on Multimedia Information Retrieval answer questions about what multimedia is, how MIR is ...
Alejandro Jaimes, Michael G. Christel, Séba...
CALCO
2009
Springer
138views Mathematics» more  CALCO 2009»
14 years 2 months ago
Kleene Monads: Handling Iteration in a Framework of Generic Effects
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
Sergey Goncharov, Lutz Schröder, Till Mossako...