Sciweavers

3837 search results - page 446 / 768
» Learning Approximate Consistencies
Sort
View
SIGMETRICS
1990
ACM
129views Hardware» more  SIGMETRICS 1990»
15 years 10 months ago
An Analytical Model of Multistage Interconnection Networks
Multiprocessors require an interconnection network to connect processors with memory modules. The performance of the interconnection network can have a large effect upon overall s...
Darryl L. Willick, Derek L. Eager
CISS
2007
IEEE
15 years 10 months ago
Energy Efficient Routing for Statistical Inference of Markov Random Fields
The problem of routing of sensor observations for optimal detection of a Markov random field (MRF) at a designated fusion center is analyzed. Assuming that the correlation structur...
Animashree Anandkumar, Lang Tong, Ananthram Swami
COSIT
2009
Springer
125views GIS» more  COSIT 2009»
15 years 10 months ago
Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms
Abstract. This paper addresses the problem of merging qualitative constraint networks (QCNs) defined on different qualitative formalisms. Our model is restricted to formalisms wher...
Jean-François Condotta, Souhila Kaci, Pierr...
193
Voted
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 10 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
189
Voted
BMVC
2001
15 years 9 months ago
3-D Object Recognition Based on Integration of Range Image and Gray-scale Image
In this paper, we propose a practical object recognition system which consists of two functional modules. The first is object extraction module using a range image, and the second...
Manabu Hashimoto, Kazuhiko Sumi