Sciweavers

241 search results - page 11 / 49
» Generic Patch Inference
Sort
View
ATVA
2006
Springer
123views Hardware» more  ATVA 2006»
13 years 11 months ago
Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
Alastair F. Donaldson, Alice Miller
CGF
2008
118views more  CGF 2008»
13 years 7 months ago
Image-Based Surface Compression
We present a generic framework for compression of densely sampled 3D surfaces in order to satisfy the increasing demand for storing large amounts of 3D content. We decompose a giv...
Tilo Ochotta, Dietmar Saupe
BIBE
2005
IEEE
115views Bioinformatics» more  BIBE 2005»
14 years 1 months ago
GOMIT: A Generic and Adaptive Annotation Algorithm Based on Gene Ontology Term Distributions
We address the issue of providing highly informative annotations using information revealed by the structured vocabularies of Gene Ontology (GO). For a target, a set of candidate ...
In-Yee Lee, Jan-Ming Ho, Ming-Syan Chen
CVPR
1999
IEEE
14 years 9 months ago
High-Level and Generic Models for Visual Search: When Does High Level Knowledge Help?
We analyze the problem of detecting a road target in background clutter and investigate the amount of prior (i.e. target specific) knowledge needed to perform this search task. Th...
Alan L. Yuille, James M. Coughlan
AI
1998
Springer
13 years 11 months ago
Temporally Invariant Junction Tree for Inference in Dynamic Bayesian Network
Abstract. Dynamic Bayesian networks (DBNs) extend Bayesian networks from static domains to dynamic domains. The only known generic method for exact inference in DBNs is based on dy...
Yang Xiang