5608 search results - page 187 / 1122 » Structure description tools |
143
click to vote
FORTE
2004
15 years 4 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
127
Voted
IADIS
2003
15 years 4 months ago
2003
The development of tools for the organization of large quantities of Web bookmarks is an increasingly challenging task since more and more Web information becomes available and ha...
97
Voted
WSC
1998
15 years 4 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
100
click to vote
ACL
2009
15 years 1 months ago
2009
We have developed a novel, publicly available annotation tool for the semantic encoding of texts, especially those in the narrative domain. Users can create formal propositions to...
135
click to vote
TVCG
2011
14 years 10 months ago
2011
—We present a flexible interactive 3D morpho-kinematical modeling application for astrophysics. Compared to other systems, our application reduces the restrictions on the physic...