Sciweavers

1677 search results - page 97 / 336
» On the Completeness of Quantum Computation Models
Sort
View
100
Voted
EURODAC
1995
IEEE
100views VHDL» more  EURODAC 1995»
15 years 5 months ago
A unified approach to the extraction of realistic multiple bridging and break faults
The presented fault model uniquely describes all structural changes in the transistor net list that can be caused by spot defects, including faults that connect more than two nets...
Gerald Spiegel, Albrecht P. Stroele
ENTCS
2008
102views more  ENTCS 2008»
15 years 1 months ago
An Algebra for Directed Bigraphs
We study the algebraic structure of directed bigraphs, a bigraphical model of computations with locations, connections and resources previously introduced as a unifying generaliza...
Davide Grohmann, Marino Miculan
CVPR
2005
IEEE
16 years 3 months ago
Bayesian 3D Modeling from Images Using Multiple Depth Maps
This paper addresses the problem of reconstructing the geometry and color of a Lambertian scene, given some fully calibrated images acquired with wide baselines. In order to compl...
Pau Gargallo, Peter F. Sturm
SAC
2008
ACM
15 years 1 months ago
Bayesian inference for a discretely observed stochastic kinetic model
The ability to infer parameters of gene regulatory networks is emerging as a key problem in systems biology. The biochemical data are intrinsically stochastic and tend to be observ...
Richard J. Boys, Darren J. Wilkinson, Thomas B. L....
ICCV
2009
IEEE
14 years 11 months ago
Segmentation, ordering and multi-object tracking using graphical models
In this paper, we propose a unified graphical-model framework to interpret a scene composed of multiple objects in monocular video sequences. Using a single pairwise Markov random...
Chaohui Wang, Martin de La Gorce, Nikos Paragios