Search Sciweavers | Sciweavers

1124 search results - page 34 / 225

» Refined quorum systems

192

click to vote

3DIM
2003
IEEE

196views Image Processing» more 3DIM 2003»

A Range Image Refinement Technique for Multi-view 3D Model Reconstruction

15 years 10 months ago

Download www.ee.sunysb.edu

This paper presents a range image refinement technique for generating accurate 3D computer models of real objects. Range images obtained from a stereo-vision system typically expe...

Soon-Yong Park, Murali Subbarao

claim paper

Read More »

161

click to vote

ROOM
2000

154views Programming Languages» more ROOM 2000»

Object-Oriented Refinement and Proof using Behaviour Functions

15 years 8 months ago

Download www.bcs.org

This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...

Tony Clark

claim paper

Read More »

175

click to vote

DIAL
2006
IEEE

130views Image Analysis» more DIAL 2006»

Refinement of digitized documents through recognition of mathematical formulae

15 years 10 months ago

Download www.inftyproject.org

We are developing a recognition system, named `Infty', for scientific documents including those with mathematical formulae. In this paper, we propose a new system that can re...

Toshihiro Kanahori, Masakazu Suzuki

claim paper

Read More »

114

click to vote

RTSS
2009
IEEE

148views Control Systems» more RTSS 2009»

Component-Based Abstraction Refinement for Timed Controller Synthesis

16 years 1 months ago

Download www.informatik.uni-freiburg.de

Hans-Jörg Peter, Robert Mattmüller

claim paper