Sciweavers

64 search results - page 8 / 13
» A Mechanism for Solving Conflicts in Ambient Intelligent Env...
Sort
View
CHI
2004
ACM
15 years 12 months ago
Context-sensitive design and human-centered interactive systems
Context is a critical element in forming the performance of interactive systems. As the functional diversity and range of use context of the system increase, context sensitivity b...
Keiichi Sato, Ken Douros
85
Voted
IAT
2006
IEEE
15 years 5 months ago
A Market-Based Adaptation for Resolving Competing Needs for Scarce Resources
The dynamic nature of many real-world domains (e.g., military, emergency first response and hurricane relief, etc) requires adaptive resource allocation to respond to changes in t...
Rui Wang, Tracy Mullen, Viswanath Avasarala, John ...
AISC
2004
Springer
15 years 3 months ago
Four Approaches to Automated Reasoning with Differential Algebraic Structures
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
Jesús Aransay, Clemens Ballarin, Julio Rubi...
ATAL
2006
Springer
15 years 3 months ago
A utility-based sensing and communication model for a glacial sensor network
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...
Paritosh Padhy, Rajdeep K. Dash, Kirk Martinez, Ni...
80
Voted
ICCCI
2009
Springer
15 years 6 months ago
A Formal Model for Epistemic Interactions
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we foc...
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...