1114 search results - page 128 / 223 » An Architecture for Peer-to-peer Reasoning |
131
click to vote
ISCAS
2007
IEEE
16 years 20 days ago
2007
IEEE
— I/Q imbalance has been identified as one of the most serious concerns in the practical implementation of the direct conversion receiver architecture. Facing the performance-de...
158
click to vote
TPHOL
2007
IEEE
16 years 20 days ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
171
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
In this work, we introduce a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced i...
175
click to vote
BTW
2007
Springer
16 years 17 days ago
2007
Springer
Web services are becoming more and more pervasive and are used by a number of information system clients. However, mobile clients still have limited computing and network resource...
150
click to vote
ESWS
2007
Springer
16 years 17 days ago
2007
Springer
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...