Sciweavers

3071 search results - page 193 / 615
» Explanatory Design Theory
Sort
View
ICPP
2009
IEEE
15 years 5 months ago
Computing Equilibria in Bimatrix Games by Parallel Vertex Enumeration
—Equilibria computation is of great importance to many areas such as economics, control theory, and recently computer science. We focus on the computation of Nash equilibria in t...
Jonathan Widger, Daniel Grosu
HT
2009
ACM
15 years 5 months ago
Comparing spatial hypertext collections
This paper proposes an approach to comparison of spatial hypertext collections which avoids becoming entangled in complexities of version management and merging. We also propose a...
J. Nathan Matias, David P. Williams
HICSS
2007
IEEE
115views Biometrics» more  HICSS 2007»
15 years 5 months ago
Leveraging and Limiting Practical Drift in Emergency Response Planning
A knowledge gap exists between what emergency responders know from their direct experience and what emergency planners know from analysis and reflection. The theory of practical d...
Steven R. Haynes, Wendy A. Schafer, John M. Carrol...
ISMVL
2007
IEEE
91views Hardware» more  ISMVL 2007»
15 years 5 months ago
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
Arnon Avron, Anna Zamansky
SMC
2007
IEEE
122views Control Systems» more  SMC 2007»
15 years 5 months ago
Can complexity science support the engineering of critical network infrastructures?
— Considerable attention is now being devoted to the study of “complexity science” with the intent of discovering and applying universal laws of highly interconnected and evo...
David Alderson, John C. Doyle