5086 search results - page 77 / 1018 » The Power of Comparative Reasoning |
DLOG
1998
13 years 10 months ago
1998
We consider two recently proposed definitions of the expressive power of description logics, one due to Baader, the other due to Kurtonina and de Rijke. The proposals are non-equi...
ICCAD
2002
IEEE
14 years 5 months ago
2002
IEEE
Abstract—Interconnects (wires, buffers, clock distribution networks, multiplexers and busses) consume a significant fraction of total circuit power. In this work, we demonstrat...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
In the past, we have observed several large blackouts, i.e. loss of power to large areas. It has been noted by several researchers that these large blackouts are a result of a cas...
TIME
2006
IEEE
14 years 2 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
DEON
2006
Springer
13 years 10 months ago
2006
Springer
In this paper we reconsider the definition of counts-as relations in normative multiagent systems: counts-as relations do not always provide directly act interpretation of brute fa...