5330 search results - page 62 / 1066 » The Performability Tool P'ility |
172
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Minimally invasive surgery (MIS) involves a multidimensional series of tasks requiring a synthesis between visual information and the kinematics and dynamics of the surgical tools...
165
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: OFFGEL isoelectric focussing (IEF) has become a popular tool in proteomics to fractionate peptides or proteins. As a consequence there is a need for software solutions...
156
click to vote
SPIN
2007
Springer
16 years 11 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
186
click to vote
QEST
2006
IEEE
16 years 8 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
225
click to vote
INCDM
2010
Springer
15 years 8 months ago
2010
Springer
We present rminer, our open source library for the R tool that facilitates the use of data mining (DM) algorithms, such as neural Networks (NNs) and support vector machines (SVMs),...