Sciweavers

3991 search results - page 30 / 799
» Bounding homogeneous models
Sort
View
ECCV
2006
Springer
14 years 9 months ago
Degen Generalized Cylinders and Their Properties
Generalized cylinder (GC) has played an important role in computer vision since it was introduced in the 1970s. While studying GC models in human visual perception of shapes from c...
Liangliang Cao, Jianzhuang Liu, Xiaoou Tang
CAV
2006
Springer
165views Hardware» more  CAV 2006»
13 years 11 months ago
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...
NN
2002
Springer
136views Neural Networks» more  NN 2002»
13 years 7 months ago
Bayesian model search for mixture models based on optimizing variational bounds
When learning a mixture model, we suffer from the local optima and model structure determination problems. In this paper, we present a method for simultaneously solving these prob...
Naonori Ueda, Zoubin Ghahramani
CAV
2004
Springer
97views Hardware» more  CAV 2004»
14 years 1 months ago
Efficient Modeling of Embedded Memories in Bounded Model Checking
Malay K. Ganai, Aarti Gupta, Pranav Ashar
TSP
2008
111views more  TSP 2008»
13 years 7 months ago
Upper Bound Kullback-Leibler Divergence for Transient Hidden Markov Models
Abstract--This paper reports an upper bound for the Kullback
Jorge Silva, Shrikanth Narayanan