308 search results - page 29 / 62 » Efficient Software Model Checking of Data Structure Properti... |
TSE
2010
14 years 4 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
SEFM
2009
IEEE
15 years 4 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
BMCBI
2008
14 years 9 months ago
2008
Background: Kernel-based classification and regression methods have been successfully applied to modelling a wide variety of biological data. The Kernel-based Orthogonal Projectio...
111
click to vote
ICML
2005
IEEE
15 years 10 months ago
2005
IEEE
The use of Bayesian networks for classification problems has received significant recent attention. Although computationally efficient, the standard maximum likelihood learning me...