2909 search results - page 66 / 582 » Consistency of the theory of contexts |
143
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
Our central claim is that user interactions with everyday productivity applications (e.g., word processors, Web browsers, etc.) provide rich contextual information that can be lev...
182
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
166
click to vote
DEXA
2006
Springer
15 years 10 months ago
2006
Springer
We propose CLEAR (Context and Location-based Efficient Allocation of Replicas), a dynamic replica allocation scheme for improving data availability in mobile ad-hoc peer-to-peer (M...
170
click to vote
ACL
1998
15 years 7 months ago
1998
In this paper we discuss the use of discourse context in spoken dialogue systems and argue that the knowledge of the domain, modelled with the help of dialogue topics is important...
173
click to vote
ICIP
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper presents a system that can automatically recognize four different static human body postures in video sequences. The considered postures are standing, sitting, squattin...