Sciweavers

1096 search results - page 20 / 220
» Using Prior Knowledge: Problems and Solutions
Sort
View
FM
2006
Springer
127views Formal Methods» more  FM 2006»
15 years 3 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute
99
Voted
CVPR
2004
IEEE
16 years 1 months ago
Separating Reflections from a Single Image Using Local Features
When we take a picture through a window the image we obtain is often a linear superposition of two images: the image of the scene beyond the window plus the image of the scene ref...
Anat Levin, Assaf Zomet, Yair Weiss
97
Voted
DASFAA
2008
IEEE
115views Database» more  DASFAA 2008»
15 years 6 months ago
An Optimized Two-Step Solution for Updating XML Views
View updating is a long standing difficult problem. Given a view defined over base data sources and a view update, there are several different updates over the base data sources,...
Ling Wang, Ming Jiang 0003, Elke A. Rundensteiner,...
BILDMED
2008
111views Algorithms» more  BILDMED 2008»
15 years 1 months ago
Simultaneous Model-Based Segmentation of Multiple Objects
Deformable models are used for the segmentation of objects in 3D images by adapting flexible meshes to image structures. The simultaneous segmentation of multiple objects often cau...
Astrid Franz, Robin Wolz, Tobias Klinder, Cristian...
ECTEL
2006
Springer
15 years 3 months ago
From the Analysis of Community Activity to the Appropriation of New Tools. A Methodological Approach for the Development of Info
More and more CoPs have chosen virtual environments and services to support their activities. However, recent research has underlined several problems: the lack of adequate scaffol...
Bernadette Charlier, France Henri, Amaury Daele, M...