Sciweavers

15073 search results - page 150 / 3015
» Probabilistic algorithms for computing resultants
Sort
View
127
Voted
BMVC
2002
15 years 6 months ago
Improving architectural 3D reconstruction by plane and edge constraining
This paper presents new techniques for improving the structural quality of automatically acquired architectural 3D models. Common architectural features like parallelism and ortho...
H. Cantzler, Robert B. Fisher, Michel Devy
138
Voted
QEST
2008
IEEE
15 years 10 months ago
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye...
119
Voted
AUTOMATICA
2010
98views more  AUTOMATICA 2010»
15 years 3 months ago
Explicit use of probabilistic distributions in linear predictive control
: The guarantee of feasibility given feasibility at initial time is an issue that has been overlooked by many of the recent papers on stochastic model predictive control. Effective...
Basil Kouvaritakis, Mark Cannon, Sasa V. Rakovic, ...
230
Voted
SIGMOD
2008
ACM
164views Database» more  SIGMOD 2008»
16 years 3 months ago
Finding frequent items in probabilistic data
Computing statistical information on probabilistic data has attracted a lot of attention recently, as the data generated from a wide range of data sources are inherently fuzzy or ...
Qin Zhang, Feifei Li, Ke Yi
130
Voted
VLDB
2007
ACM
125views Database» more  VLDB 2007»
15 years 9 months ago
Data Integration with Uncertainty
This paper reports our first set of results on managing uncertainty in data integration. We posit that data-integration systems need to handle uncertainty at three levels, and do...
Xin Luna Dong, Alon Y. Halevy, Cong Yu