Sciweavers

2851 search results - page 169 / 571
» Operationalizing Conceptual Models Based on a Model of Depen...
Sort
View
DSOM
2004
Springer
15 years 12 months ago
A Formal Validation Model for the Netconf Protocol
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, R...
WWW
2005
ACM
16 years 1 days ago
A more precise model for web retrieval
Most research works on web retrieval latency are object-level based, which we think is insufficient and sometimes inaccurate. In this paper, we propose a fine grained operation-le...
Junli Yuan, Hung Chi, Qibin Sun
JAIR
2008
93views more  JAIR 2008»
15 years 6 months ago
A Rigorously Bayesian Beam Model and an Adaptive Full Scan Model for Range Finders in Dynamic Environments
This paper proposes and experimentally validates a Bayesian network model of a range finder adapted to dynamic environments. All modeling assumptions are rigorously explained, and...
Tinne De Laet, Joris De Schutter, Herman Bruyninck...
SIGIR
2008
ACM
15 years 6 months ago
A new probabilistic retrieval model based on the dirichlet compound multinomial distribution
The classical probabilistic models attempt to capture the Ad hoc information retrieval problem within a rigorous probabilistic framework. It has long been recognized that the prim...
Zuobing Xu, Ram Akella
CVPR
2007
IEEE
16 years 8 months ago
Variable Bandwidth Image Denoising Using Image-based Noise Models
This paper introduces a variational formulation for image denoising based on a quadratic function over kernels of variable bandwidth. These kernels are scale adaptive and reflect ...
Noura Azzabou, Nikos Paragios, Frederic Guichard, ...