Sciweavers

1802 search results - page 49 / 361
» Complexity Theory for Operators in Analysis
Sort
View
KR
2000
Springer
15 years 8 months ago
Reasoning with Axioms: Theory and Practice
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
Ian Horrocks, Stephan Tobies
PODC
2009
ACM
15 years 11 months ago
Fast scalable deterministic consensus for crash failures
We study communication complexity of consensus in synchronous message-passing systems with processes prone to crashes. The goal in the consensus problem is to have all the nonfaul...
Bogdan S. Chlebus, Dariusz R. Kowalski, Michal Str...
140
Voted
AUSAI
2006
Springer
15 years 8 months ago
An Analysis of Three Puzzles in the Logic of Intention
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
Wayne Wobcke
ISCAS
2003
IEEE
90views Hardware» more  ISCAS 2003»
15 years 10 months ago
A reduction technique of large scale RCG interconnects in complex frequency domain
High frequency digital LSIs usually consist of many subcircuits coupled with multi-conductor interconnects embedded in the substrate. They sometimes cause serious problems of the ...
Yoshihiro Yamagami, Yoshifumi Nishio, Atsumi Hatto...
AAAI
1996
15 years 6 months ago
Opportunity Recognition in Complex Environments
An agent operating in an unpredictable world must be able to take advantage of opportunities but cannot afford to perform a detailed analysis of the effects of every nuance of the...
Louise Pryor