224 search results - page 28 / 45 » A Formal Treatment of Context-Awareness |
119
click to vote
HICSS
2000
IEEE
15 years 4 months ago
2000
IEEE
Computerized clinical guidelines can provide significant benefits to health outcomes and costs, however, their effective implementation presents significant problems. Vagueness an...
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
For bulk synchronous computations that have nondeterministic behaviors, dynamic remapping is an effective approach to ensure parallel efficiency. There are two basic issues in re...
108
click to vote
LPNMR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...
101
click to vote
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...