Sciweavers

1309 search results - page 92 / 262
» Revenue management: Models and methods
Sort
View
SIGIR
2010
ACM
15 years 2 months ago
Spatial relationships in visual graph modeling for image categorization
In this paper, a language model adapted to graph-based representation of image content is proposed and assessed. The full indexing and retrieval processes are evaluated on two diď...
Trong-Ton Pham, Philippe Mulhem, Loïc Maisonn...
KDD
2008
ACM
183views Data Mining» more  KDD 2008»
15 years 11 months ago
A bayesian mixture model with linear regression mixing proportions
Classic mixture models assume that the prevalence of the various mixture components is fixed and does not vary over time. This presents problems for applications where the goal is...
Xiuyao Song, Chris Jermaine, Sanjay Ranka, John Gu...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 5 months ago
A Metric Encoding for Bounded Model Checking
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
3DIM
2003
IEEE
15 years 3 months ago
Automatic Model Refinement for 3D Reconstruction with Mobile Robots
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
Andreas Nüchter, Hartmut Surmann, Joachim Her...
EMS
2009
IEEE
15 years 6 months ago
Modelling Periodic Data Dissemination in Wireless Sensor Networks
—Epidemic-based communications, or “gossiping”, provides a robust and scalable method for maintaining a knowledge base in a sensor network faced with an unpredictable network...
Graham Williamson, Davide Cellai, Simon A. Dobson,...