Sciweavers

1056 search results - page 67 / 212
» Identifying and Exploiting Ultrametricity
Sort
View
ACMSE
2006
ACM
14 years 4 months ago
A SAT-based solver for Q-ALL SAT
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...
Ben Browning, Anja Remshagen
ICPP
2005
IEEE
14 years 3 months ago
Automatic Experimental Analysis of Communication Patterns in Virtual Topologies
Automatic pattern search in event traces is a powerful method to identify performance problems in parallel applications. We demonstrate that knowledge about the virtual topology, ...
Nikhil Bhatia, Fengguang Song, Felix Wolf, Jack Do...
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
14 years 3 months ago
F-SEONS: a second-order frequency-domain algorithm for noisy convolutive source separation
— We present a frequency-domain method of noisy convolutive source separation, where we extends the SEONS algorithm [2] that jointly exploits the nonstationarity and temporal str...
Inseon Jang, Kyeongok Kang, Sangki Kim, Seungjin C...
PERCOM
2005
ACM
14 years 3 months ago
A Distributed System for Answering Range Queries on Sensor Network Data
A distributed system for approximate query answering on sensor network data is proposed, where a suitable compression technique is exploited to represent data and support query an...
Alfredo Cuzzocrea, Filippo Furfaro, Sergio Greco, ...
ER
2005
Springer
186views Database» more  ER 2005»
14 years 3 months ago
Blueprints and Measures for ETL Workflows
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
Panos Vassiliadis, Alkis Simitsis, Manolis Terrovi...