Sciweavers

3174 search results - page 361 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
FORMATS
2007
Springer
15 years 10 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
FSKD
2007
Springer
128views Fuzzy Logic» more  FSKD 2007»
15 years 10 months ago
A First Step towards an Epistemology of the Subjective Uncertainty: Its Premises and Modeling
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...
Fabio Campos, Andre Neves, R. Souza
EPIA
2009
Springer
15 years 10 months ago
Semantic Image Search and Subset Selection for Classifier Training in Object Recognition
Abstract. Robots need to ground their external vocabulary and internal symbols in observations of the world. In recent works, this problem has been approached through combinations ...
Rui Pereira, Luís Seabra Lopes, Augusto Sil...
3DPVT
2004
IEEE
126views Visualization» more  3DPVT 2004»
15 years 10 months ago
Helmholtz Stereopsis on Rough and Strongly Textured Surfaces
Helmholtz Stereopsis (HS) has recently been explored as a promising technique for capturing shape of objects with unknown reflectance. So far, it has been widely applied to object...
Jean-Yves Guillemaut, Ondrej Drbohlav, Radim S&aac...
3DPVT
2006
IEEE
188views Visualization» more  3DPVT 2006»
15 years 10 months ago
Statistical Inference of Biological Structure and Point Spread Functions in 3D Microscopy
We present a novel method for detecting and quantifying 3D structure in stacks of microscopic images captured at incremental focal lengths. We express the image data as stochastic...
Joseph Schlecht, Kobus Barnard, Barry Pryor