817 search results - page 80 / 164 » A Declarative Framework for Analysis and Optimization |
ANTSW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Mobile ad hoc networks are a class of highly dynamic networks. In previous work, we developed a new routing algorithm, called AntHocNet, for these challenging network env...
UAI
2008
13 years 9 months ago
2008
We consider how an agent should update her uncertainty when it is represented by a set P of probability distributions and the agent observes that a random variable X takes on valu...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—The queueing performance of a (secondary) cognitive user is investigated for a hierarchical network where there are N independent and identical primary users. Each prima...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
Many segmentation problems in medical imaging rely on accurate modeling and estimation of tissue intensity probability density functions. Gaussian mixture modeling, currently the ...
APLAS
2000
ACM
14 years 6 days ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...