16 search results - page 2 / 4 » Formalizing a discrete model of the continuum in Coq from a ... |
FUZZIEEE
2007
IEEE
13 years 12 months ago
2007
IEEE
— Geometric Type-2 Fuzzy sets allow us to model type-2 fuzzy sets using geometry providing significant improvement in speed of computation. This paper explores in detail how wel...
ISBI
2008
IEEE
14 years 6 months ago
2008
IEEE
Reconstruction algorithms for Optical Diffuse Tomography (ODT) rely heavily on fast and accurate forward models. Arbitrary geometries and boundary conditions need to be handled ri...
CVPR
2003
IEEE
14 years 7 months ago
2003
IEEE
We illustrate how to consider a network of cameras as a single generalized camera in a framework proposed by Nayar [13]. We derive the discrete structure from motion equations for...
BIOCOMP
2007
13 years 7 months ago
2007
Abstract—This paper presents a stochastic modelling framework for complex biochemical reaction networks from a component-based perspective. Our approach takes into account the di...
FGR
2011
IEEE
12 years 9 months ago
2011
IEEE
— Despite major advances within the affective computing research field, modelling, analysing, interpreting and responding to naturalistic human affective behaviour still remains...