Sciweavers

1420 search results - page 223 / 284
» Decision Making Using Probabilistic Inference Methods
Sort
View
SPAA
2004
ACM
15 years 3 months ago
Adaptive channel queue routing on k-ary n-cubes
This paper introduces a new adaptive method, Channel Queue Routing (CQR), for load-balanced routing on k-ary n-cube interconnection networks. CQR estimates global congestion in th...
Arjun Singh, William J. Dally, Amit K. Gupta, Bria...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
14 years 8 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
ICCV
2009
IEEE
16 years 2 months ago
Decomposing a Scene into Geometric and Semantically Consistent Regions
High-level, or holistic, scene understanding involves reasoning about objects, regions, and the 3D relationships between them. This requires a representation above the level of ...
Stephen Gould, Richard Fulton, Daphne Koller
CN
2007
129views more  CN 2007»
14 years 9 months ago
Machine-learnt versus analytical models of TCP throughput
We first study the accuracy of two well-known analytical models of the average throughput of long-term TCP flows, namely the so-called SQRT and PFTK models, and show that these ...
Ibtissam El Khayat, Pierre Geurts, Guy Leduc
3DIM
2011
IEEE
13 years 9 months ago
Finding the Best Feature Detector-Descriptor Combination
Addressing the image correspondence problem by feature matching is a central part of computer vision and 3D inference from images. Consequently, there is a substantial amount of w...
Anders Lindbjerg Dahl, Henrik Aanæs, Kim Ste...