Sciweavers

746 search results - page 118 / 150
» On the Generation of Oriented Matroids
Sort
View
CSL
2005
Springer
14 years 2 months ago
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
Frédéric Blanqui
EUROPAR
2005
Springer
14 years 2 months ago
SPC-XML: A Structured Representation for Nested-Parallel Programming Languages
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
Arturo González-Escribano, Arjan J. C. van ...
IWANN
2005
Springer
14 years 2 months ago
Vision-Based Walking Parameter Estimation for Biped Locomotion Imitation
Abstract. This paper proposes a new vision-based system that can extract walking parameters from human demonstration. The system uses only a non-calibrated USB webcam connected to ...
Juan Pedro Bandera Rubio, Changjiu Zhou, Francisco...
MICCAI
2005
Springer
14 years 2 months ago
Photo-Realistic Tissue Reflectance Modelling for Minimally Invasive Surgical Simulation
Computer-based simulation is an important tool for surgical skills training and assessment. In general, the degree of realism experienced by the trainees is determined by the visua...
Mohamed A. ElHelw, M. Stella Atkins, Marios Nicola...
SCIA
2005
Springer
108views Image Analysis» more  SCIA 2005»
14 years 2 months ago
Light Field Reconstruction Using a Planar Patch Model
Light fields are known for their potential in generating 3D reconstructions of a scene from novel viewpoints without need for a model of the scene. Reconstruction of novel views, ...
Adam Bowen, Andrew Mullins, Roland G. Wilson, Nasi...