Sciweavers

1791 search results - page 141 / 359
» Two Types of Multiple-Conclusion Systems
Sort
View
ECSQARU
2001
Springer
14 years 1 months ago
Supporting Changes in Structure in Causal Model Construction
The term “changes in structure,” originating from work in econometrics, refers to structural modifications invoked by actions on a causal model. In this paper we formalize the...
Tsai-Ching Lu, Marek J. Druzdzel
EMMCVPR
2001
Springer
14 years 1 months ago
Matching Images to Models - Camera Calibration for 3-D Surface Reconstruction
In a previous paper we described a system which recursively recovers a super-resolved three dimensional surface model from a set of images of the surface. In that paper we assumed ...
Robin D. Morris, Vadim N. Smelyansky, Peter Cheese...
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
14 years 1 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
ICPR
2000
IEEE
14 years 1 months ago
A New Segmentation Approach for Handwritten Digits
This article deals with a new segmentation approach applied to unconstrained handwritten digits. The novelty of the proposed algorithm is based on the combination of two types of ...
Luiz E. Soares de Oliveira, Edouard Lethelier, Fl&...
SIBGRAPI
2000
IEEE
14 years 1 months ago
Handwritten Digits Segmentation Based on Structural Approach
This article deals with a new segmentation approach applied to unconstrained handwritten digits. The novelty of the proposed algorithm is based on the combination of two types of s...
Luiz E. Soares de Oliveira, Edouard Lethelier, Fl&...