Sciweavers

2662 search results - page 345 / 533
» Tools Demonstrations
Sort
View
COMPLIFE
2005
Springer
16 years 3 days ago
Robust Perron Cluster Analysis for Various Applications in Computational Life Science
In the present paper we explain the basic ideas of Robust Perron Cluster Analysis (PCCA+) and exemplify the different application areas of this new and powerful method. Recently, ...
Marcus Weber, Susanna Kube
CPM
2005
Springer
109views Combinatorics» more  CPM 2005»
16 years 3 days ago
Using PQ Trees for Comparative Genomics
Permutations on strings representing gene clusters on genomes have been studied earlier in [18, 14, 3, 12, 17] and the idea of a maximal permutation pattern was introduced in [12]....
Gad M. Landau, Laxmi Parida, Oren Weimann
EMISA
2005
Springer
16 years 3 days ago
A Domain Engineering Approach to Specifying and Applying Reference Models
: Business process modeling and design, as an essential part of business process management, has gained much attention in recent years. An important tool for this purpose is refere...
Iris Reinhartz-Berger, Pnina Soffer, Arnon Sturm
ESOP
2005
Springer
16 years 3 days ago
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
Michael Leuschel, Germán Vidal
FASE
2005
Springer
16 years 3 days ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...