809 search results - page 64 / 162 » 04421 Abstracts Collection - Algebraic Methods in Computatio... |
127
click to vote
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
127
Voted
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
Porting on grids complex MPI applications involving collective communications requires significant program modification, usually dedicated to a single grid structure. The diffi...
223
click to vote
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract-- Simultaneously clustering columns and rows (coclustering) of large data matrix is an important problem with wide applications, such as document mining, microarray analys...
130
click to vote
PERCOM
2009
ACM
15 years 8 months ago
2009
ACM
Abstract—In this paper, we introduce the cellphonebased indirect sensing problem. While participatory sensing aims at monitoring of a phenomenon by deploying a dense set of senso...
CIBCB
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— We propose a new method for collecting information on regulatory elements found by any motif discovery program. We suggest that combining the results of n leave-oneout ...