Sciweavers

846 search results - page 33 / 170
» Fundamentals of Media Theory
Sort
View
HICSS
2006
IEEE
141views Biometrics» more  HICSS 2006»
14 years 2 months ago
Infusing an Architectural Framework with Neo-Institutional Theory: Reports from Recent Change Management Initiatives within the
Swedish public administration is currently undergoing radical change towards dynamic models of governance relying on a high level of intergovernmental collaboration. This high lev...
Johan Magnusson, Andreas Nilsson
CSE
2009
IEEE
13 years 11 months ago
Extended Dempster-Shafer Theory in Context Reasoning for Ubiquitous Computing Environments
—Context, the pieces of information that capture the characteristics of ubiquitous computing environment, is often imprecise and incomplete due to user mobility, unreliable wirel...
Daqiang Zhang, Jiannong Cao, Jingyu Zhou, Minyi Gu...
CNSR
2007
IEEE
101views Communications» more  CNSR 2007»
14 years 2 months ago
The Theory of Natural Movement and its Application to the Simulation of Mobile Ad Hoc Networks (MANET)
The theory of natural movement is fundamental to space syntax: a set of theories and methods developed in the late 1970s that seeks, at a general level, to reveal the mutual effec...
Nick Sheep Dalton, Ruth Conroy Dalton
CSL
2003
Springer
14 years 1 months ago
Generating All Abductive Explanations for Queries on Propositional Horn Theories
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
Thomas Eiter, Kazuhisa Makino
CORR
2010
Springer
140views Education» more  CORR 2010»
13 years 8 months ago
Classical BI: Its Semantics and Proof Theory
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
James Brotherston, Cristiano Calcagno