Sciweavers

5086 search results - page 17 / 1018
» The Power of Comparative Reasoning
Sort
View
AGP
1999
IEEE
13 years 12 months ago
Comparing expressiveness of set constructor symbols
In this paper we consider the relative expressive power of two very common operators applicable to sets and multisets: the with and the union operators. For such operators we prove...
Agostino Dovier, Carla Piazza, Alberto Policriti
DLOG
2003
13 years 9 months ago
DL Reasoner vs. First-Order Prover
We compare the performance of a DL reasoner with a FO prover on reasoning problems encountered during the classification of realistic knowledge bases.
Dmitry Tsarkov, Ian Horrocks
CORR
2010
Springer
154views Education» more  CORR 2010»
13 years 7 months ago
Cross Layer Aware Adaptive MAC based on Knowledge Based Reasoning for Cognitive Radio Computer Networks
: In this paper we are proposing a new concept in MAC layer protocol design for Cognitive radio by combining information held by physical layer and MAC layer with analytical engine...
Vibhar Pathak, Krishna Chandra Roy, Santosh Kumar ...
TIME
2000
IEEE
13 years 12 months ago
A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts
Medical therapy planning shares a number of properties of project management. It is, however, different in a few very important aspects — most notably, the more complex notion o...
Robert Kosara, Silvia Miksch
ISCAS
2005
IEEE
132views Hardware» more  ISCAS 2005»
14 years 1 months ago
High efficiency wide bandwidth power supplies for GSM and EDGE RF power amplifiers
—This paper presents and compares three circuit architectures that are promising candidates to efficiently and dynamically supply GSM and EDGE RF power amplifiers in handsets. Th...
Yushan Li, Dragan Maksimovic