Sciweavers

6599 search results - page 13 / 1320
» Towards a Theory of Information
Sort
View
ICDCSW
2008
IEEE
15 years 8 months ago
Secure Control: Towards Survivable Cyber-Physical Systems
In this position paper we investigate the security of cyberphysical systems. We (1) identify and define the problem of secure control, (2) investigate the defenses that informati...
Alvaro A. Cárdenas, Saurabh Amin, Shankar S...
117
Voted
ENTCS
2008
128views more  ENTCS 2008»
15 years 1 months ago
Towards Formalizing Categorical Models of Type Theory in Type Theory
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
Alexandre Buisse, Peter Dybjer
128
Voted
ECIS
2001
15 years 3 months ago
Barriers to effective knowledge management: Action Research Meets Grounded Theory
Despite evidence that the majority of knowledge management (KM) initiatives miscarry, there has been a paucity of critical, in-depth research into the causes of failure. In this p...
David Graham Wastell
ICIAP
2009
ACM
15 years 8 months ago
Towards a Theoretical Framework for Learning Multi-modal Patterns for Embodied Agents
Multi-modality is a fundamental feature that characterizes biological systems and lets them achieve high robustness in understanding skills while coping with uncertainty. Relativel...
Nicoletta Noceti, Barbara Caputo, Claudio Castelli...
SIGIR
2004
ACM
15 years 7 months ago
Toward better weighting of anchors
Okapi BM25 scoring of anchor text surrogate documents has been shown to facilitate effective ranking in navigational search tasks over web data. We hypothesize that even better r...
David Hawking, Trystan Upstill, Nick Craswell