Sciweavers

2644 search results - page 454 / 529
» Complex Interacting Infrastructure Systems
Sort
View
ICDE
1994
IEEE
99views Database» more  ICDE 1994»
13 years 12 months ago
Supporting Data Mining of Large Databases by Visual Feedback Queries
In this paper, we describe a query system that provides visual relevance feedback in querying large databases. Our goal is to support the process of data mining by representing as...
Daniel A. Keim, Hans-Peter Kriegel, Thomas Seidl
SIGGRAPH
2010
ACM
13 years 11 months ago
Volume contact constraints at arbitrary resolution
We introduce a new method for simulating frictional contact between volumetric objects using interpenetration volume constraints. When applied to complex geometries, our formulati...
Jérémie Allard, François Faure, Hadrien Courtec...
CVPR
2009
IEEE
13 years 11 months ago
High-quality curvelet-based motion deblurring from an image pair
One promising approach to remove motion deblurring is to recover one clear image using an image pair. Existing dual-image methods require an accurate image alignment between the i...
Jian-Feng Cai, Hui Ji, Chaoqiang Liu, Zuowei Shen
FROCOS
2007
Springer
13 years 11 months ago
Certification of Automated Termination Proofs
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
Evelyne Contejean, Pierre Courtieu, Julien Forest,...
GI
2009
Springer
13 years 11 months ago
Parallelised Gaussian Mixture Filtering for Vehicular Traffic Flow Estimation
: Large traffic network systems require handling huge amounts of data, often distributed over a large geographical region in space and time. Centralised processing is not then the ...
Lyudmila Mihaylova, Amadou Gning, Viktor Doychinov...