Sciweavers

2059 search results - page 50 / 412
» New Advances in Reconfigurable Computing and its Application...
Sort
View
FMCAD
2004
Springer
15 years 1 months ago
Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
Orna Grumberg, Assaf Schuster, Avi Yadgar
KDD
2009
ACM
364views Data Mining» more  KDD 2009»
15 years 10 months ago
Causality quantification and its applications: structuring and modeling of multivariate time series
Time series prediction is an important issue in a wide range of areas. There are various real world processes whose states vary continuously, and those processes may have influenc...
Takashi Shibuya, Tatsuya Harada, Yasuo Kuniyoshi
VIS
2003
IEEE
178views Visualization» more  VIS 2003»
15 years 11 months ago
Advanced Curved Planar Reformation: Flattening of Vascular Structures
Traditional volume visualization techniques may provide incomplete clinical information needed for many applications in medical visualization. Especially in the area of vascular v...
Armin Kanitsar, Dominik Fleischmann, Eduard Gr&oum...
GPC
2010
Springer
15 years 2 months ago
Virtual EZ Grid: A Volunteer Computing Infrastructure for Scientific Medical Applications
This paper presents the Virtual EZ Grid project, based on the XtremWeb-CH (XWCH) volunteer computing platform. The goal of the project is to introduce a flexible distributed comput...
Mohamed Ben Belgacem, Nabil Abdennadher, Marko Nii...
WAIM
2007
Springer
15 years 3 months ago
A New DBMS Architecture for DB-IR Integration
Nowadays, as there is an increasing need to integrate the DBMS (for structured data) with Information Retrieval (IR) features (for unstructured data), DB-IR integration becomes one...
Kyu-Young Whang