Sciweavers

9640 search results - page 1495 / 1928
» Information Systems Development as an Activity
Sort
View
172
Voted
ATAL
2005
Springer
16 years 12 days ago
On the meta-logic of arguments
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...
Michael Wooldridge, Peter McBurney, Simon Parsons
207
Voted
MM
2004
ACM
107views Multimedia» more  MM 2004»
16 years 9 days ago
Time, voice, and joyce
We present a design for recapitulating walks through Dublin's City Centre by characters in James Joyce's Ulysses. Our computationally supported walkers will avail themse...
Andrea Taylor, Brendan Donovan, Zoltan Foley-Fishe...
193
Voted
PARA
2004
Springer
16 years 6 days ago
Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
Paolo Bientinesi, Sergey Kolos, Robert A. van de G...
208
Voted
FM
2003
Springer
115views Formal Methods» more  FM 2003»
16 years 2 days ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
194
Voted
ICADL
2003
Springer
117views Education» more  ICADL 2003»
16 years 2 days ago
Metadata++: A Scalable Hierarchical Framework for Digital Libraries
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...
Mathew Weaver, Lois M. L. Delcambre, Timothy Tolle
« Prev « First page 1495 / 1928 Last » Next »