Sciweavers

274 search results - page 19 / 55
» Moving Between Argumentation Frameworks
Sort
View
156
Voted
AGILEDC
2009
IEEE
15 years 11 months ago
Fully Distributed Scrum: Linear Scalability of Production between San Francisco and India
—The Scrum software development framework was designed for the hyperproductive state where productivity increases by 5-10 times over waterfall teams and many colocated teams have...
Jeff Sutherland, Guido Schoonheim, N. Kumar, V. Pa...
ARGMAS
2007
Springer
15 years 9 months ago
Arguing and Explaining Classifications
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent knowledge, based on the construction and the comparison of arguments. In this pape...
Leila Amgoud, Mathieu Serrurier
153
Voted
TAPSOFT
1997
Springer
15 years 9 months ago
Traces of I/O-Automata in Isabelle/HOLCF
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
Olaf Müller, Tobias Nipkow
ECIS
2000
15 years 6 months ago
The Exercise of Power and Information Systems Strategy: The Need for a New Perspective
- Computer based information systems (IS) in work-based organisation are generally acknowledged as incorporating a social as well as technical dimension. Information system strateg...
K. S. Horton
153
Voted
SIBGRAPI
2007
IEEE
15 years 11 months ago
A Simple Framework for Natural Animation of Digitized Models
We present a versatile, fast and simple framework to generate animations of scanned human characters from input optical motion capture data. Our method is purely meshbased and req...
Edilson de Aguiar, Rhaleb Zayer, Christian Theobal...