7918 search results - page 96 / 1584 » Model Composition Directives |
SBMF
2010
Springer
13 years 6 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
ICIP
2007
IEEE
15 years 27 days ago
2007
IEEE
Abstract-- This paper presents an edge-directed image interpolation algorithm. In the proposed algorithm, the edge directions are implicitly estimated with a statistical-based appr...
CGF
2010
13 years 11 months ago
2010
In this paper, we present a novel technique which simulates directional light scattering for more realistic interactive visualization of volume data. Our method extends the recent...
MVA
2007
14 years 18 days ago
2007
— In this paper, a modeling method to handle furniture is proposed. In real environment, there is a lot of furniture such as drawer, cabinet and so on. If mobile robots can handl...
BC
2002
13 years 11 months ago
2002
The extraction of stereoscopic depth from retinal disparity, and motion direction from two-frame kinematograms, requires the solution of a correspondence problem. In previous psych...