3710 search results - page 116 / 742 » A new calculus of contexts |
186
Voted
CN
2006
15 years 7 months ago
2006
In nowadays wireless networks, mobile users frequently access Internet services that are often based on information concerning the application context and service status. In prese...
201
Voted
MONET
2002
15 years 6 months ago
2002
The use of context in mobile devices is receiving increasing attention in mobile and ubiquitous computing research. In this article we consider how to augment mobile devices with a...
191
Voted
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
188
Voted
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Monitoring applications play an increasingly important role in many domains. They detect events in monitored systems and take actions such as invoke a program or notify an adminis...
156
Voted
ICTAI
2002
IEEE
15 years 12 months ago
2002
IEEE
It is observed that there is an important query requirement missing for search engines. With the wide variation of domain knowledge and user's interest, a user would like to ...