2044 search results - page 290 / 409 » System theory for numerical analysis |
132
click to vote
JETAI
2000
15 years 4 months ago
2000
In this paper we provide a foundation of a theory of contextual reasoning from the perspective of a theory of knowledge representation. Starting from the so-called metaphor of the...
162
click to vote
DMTCS
2010
15 years 1 months ago
2010
This paper studies the fundamental trade-off between communication cost and delay cost arising in various contexts such as control message aggregation or organization theory. An o...
154
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Background: Most cellular processes are carried out by multi-protein complexes, groups of proteins that bind together to perform a specific task. Some proteins form stable complex...
129
click to vote
LOCA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present a robust, decentralized approach to RF-based location tracking. Our system, called MoteTrack, is based on low-power radio transceivers coupled with a mode...
153
click to vote
ENTCS
2008
15 years 4 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...