Sciweavers

2909 search results - page 5 / 582
» Consistency of the theory of contexts
Sort
View
GI
2004
Springer
14 years 23 days ago
Consistent Context Management in Mobile Ad Hoc Networks
: John entered his office. John left his office. The order of these updates to a context-aware system is important to reflect the state in the real world. Context information ob...
Jörg Hähner, Christian Becker, Pedro Jos...
SOCASE
2009
Springer
14 years 1 months ago
Agent-Based Context Consistency Management in Smart Space Environments
Context-aware systems in a smart space environment must be aware of the surrounding contexts and adapt to changing contexts in highly dynamic environments. Data managements of con...
Wan-rong Jih, Jane Yung-jen Hsu, Han-Wen Chang
ICASSP
2011
IEEE
12 years 11 months ago
Improved spoken term detection using support vector machines based on lattice context consistency
We propose an improved spoken term detection approach that uses support vector machines trained with lattice context consistency. The basic idea is that the same term usually have...
Hung-yi Lee, Tsung-wei Tu, Chia-Ping Chen, Chao-Yu...
PERCOM
2009
ACM
14 years 2 months ago
Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context
—Contexts, the pieces of information that capture the characteristics of computing environments, are often inconsistent in the dynamic and uncertain pervasive computing environme...
Yu Huang 0002, Xiaoxing Ma, Jiannong Cao, XianPing...
JSYML
2002
66views more  JSYML 2002»
13 years 7 months ago
Proving Consistency of Equational Theories in Bounded Arithmetic
We consider equational theories for functions defined via recursion involving equations between closed terms with natural rules based on recursive definitions of the function symb...
Arnold Beckmann