1522 search results - page 53 / 305 » Practical Exception Specifications |
100
click to vote
APSEC
2003
IEEE
15 years 5 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
112
Voted
CSL
2006
Springer
15 years 5 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
SAT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts. On the theoreti...
115
click to vote
APCCM
2006
15 years 3 months ago
2006
Network Data Mining identifies emergent networks between myriads of individual data items and utilises special algorithms that aid visualisation of `emergent' patterns and tre...
124
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Unsupervised annotation of proteins by software pipelines suffers from very high error rates. Spurious functional assignments are usually caused by unwarranted homolog...