1174 search results - page 101 / 235 » Derivation of Characteristic Formulae |
119
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Handoff probability is one of the significant metrics to characterize the handoff operation in wireless mobile networks. Handoff probability refers to the probability ...
134
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Multiple applications that execute concurrently on heterogeneous platforms compete for CPU and network resources. In this paper we analyze the behavior of K non-cooperative schedu...
126
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
119
click to vote
ISMVL
2010
IEEE
15 years 7 months ago
2010
IEEE
Non-deterministic multi-valued matrices (Nmatrices) are a new, fruitful and quickly expanding field of research first introduced a few years ago. Since then it has been rapidly ...
146
click to vote
AAAI
2010
15 years 5 months ago
2010
Belief revision performs belief change on an agent's beliefs when new evidence (either of the form of a propositional formula or of the form of a total pre-order on a set of ...