5330 search results - page 76 / 1066 » The Performability Tool P'ility |
145
click to vote
CSB
2005
IEEE
16 years 4 hour ago
2005
IEEE
We present TreeRefiner, a tool for refining multiple alignments of biological sequences. Given a multiple alignment, a phylogenetic tree, and scoring parameters as input, TreeRefi...
166
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
138
click to vote
RE
2005
Springer
15 years 12 months ago
2005
Springer
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
180
click to vote
ISMIR
2004
Springer
15 years 11 months ago
2004
Springer
The systematic testing of the very many parameters and algorithmic variants involved in the design of high-level music descriptors at large, and similarity measure in particular, ...
187
click to vote
ITCC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a tool, for the analysis and regeneration of web contents, implemented through XML and Java. At the moment, the web content delivery from server to clients is ...