466 search results - page 43 / 94 » Critical Reasoning |
KR
2010
Springer
14 years 1 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
AGENTS
2001
Springer
14 years 1 months ago
2001
Springer
Through adjustable autonomy (AA), an agent can dynamically vary the degree to which it acts autonomously, allowing it to exploit human abilities to improve its performance, but wi...
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—Achieving secure time-synchronization in wireless sensor networks (WSNs) is a challenging, but very important problem that has not yet been addressed effectively. This paper pro...
GI
2007
Springer
14 years 2 months ago
2007
Springer
: Business information systems provide computer support for decision making across huge data sets. Smart Items are miniaturized computer and sensing systems embedded into physical ...
FOAL
2009
ACM
14 years 3 months ago
2009
ACM
Aspect-oriented programming (AOP) promises to localize concerns that inherently crosscut the primary structural decomposition of a software system. Localization of concerns is cri...