Sciweavers

3250 search results - page 535 / 650
» An Algorithm to Solve a Linear Program
Sort
View
ECCV
2010
Springer
15 years 7 months ago
Error-tolerant Image Compositing
Abstract. Gradient-domain compositing is an essential tool in computer vision and its applications, e.g., seamless cloning, panorama stitching, shadow removal, scene completion and...
MICCAI
2001
Springer
15 years 7 months ago
Multisubject Non-rigid Registration of Brain MRI Using Intensity and Geometric Features
In this article we merge point feature and intensity-based registration in a single algorithm to tackle the problem of multiple brain registration. Because of the high variability ...
Pascal Cachier, Jean-Francois Mangin, Xavier Penne...
145
Voted
CONCUR
1999
Springer
15 years 7 months ago
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
Christel Baier, Joost-Pieter Katoen, Holger Herman...
CONCUR
1997
Springer
15 years 6 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
135
Voted
3DPVT
2004
IEEE
136views Visualization» more  3DPVT 2004»
15 years 6 months ago
A Unified Representation for Interactive 3D Modeling
Interactive 3D modeling is the process of building a 3D model of an object or a scene in real-time while the 3D (range) data is acquired. This is possible only if the computationa...
Dragan Tubic, Patrick Hébert, Jean-Daniel D...