Sciweavers

4098 search results - page 223 / 820
» Sound mobility models
Sort
View
UM
2005
Springer
15 years 11 months ago
Bayesphone: Precomputation of Context-Sensitive Policies for Inquiry and Action in Mobile Devices
Inference and decision making with probabilistic user models may be infeasible on portable devices such as cell phones. We highlight the opportunity for storing and using precomput...
Eric Horvitz, Paul Koch, Raman Sarin, Johnson Apac...
IEEEICCI
2008
IEEE
15 years 12 months ago
The computational manifold approach to consciousness and symbolic processing in the cerebral cortex
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
Douglas S. Greer
148
Voted
LICS
2006
IEEE
15 years 11 months ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
HICSS
2002
IEEE
82views Biometrics» more  HICSS 2002»
15 years 10 months ago
Customer Role Ambiguity in Community Management
This paper examines challenges involved in managing product-centered communities. Using the notion of customer role ambiguity, the paper explores the ambiguity involved in balanci...
Helena Holmström, Ola Henfridsson
190
Voted
KR
1998
Springer
15 years 9 months ago
A Qualitative Theory of Motion Based on Spatio-Temporal Primitives
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
Philippe Muller