1104 search results - page 80 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
108
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Reliable prediction of antibody, or B-cell, epitopes remains challenging yet highly desirable for the design of vaccines and immunodiagnostics. A correlation between a...
133
click to vote
ICDM
2005
IEEE
15 years 8 months ago
2005
IEEE
Binary classification is a core data mining task. For large datasets or real-time applications, desirable classifiers are accurate, fast, and need no parameter tuning. We presen...
151
click to vote
ICST
2009
IEEE
15 years 19 days ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
119
click to vote
BMVC
1998
15 years 4 months ago
1998
To be able to understand the motion of deformable objects, techniques in image processing and computer vision are essential for non-rigid motion analysis in this active research a...
124
click to vote
PPDP
2004
Springer
15 years 8 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...