Sciweavers

1420 search results - page 223 / 284
» Decision Making Using Probabilistic Inference Methods
Sort
View
SPAA
2004
ACM
15 years 7 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»
15 years 23 days 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 7 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»
15 years 2 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
14 years 2 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...