3147 search results - page 274 / 630 » Open-Source Model Checking |
139
Voted
SMA
2005
ACM
15 years 9 months ago
2005
ACM
Nef polyhedra in d-dimensional space are the closure of half-spaces under boolean set operation. In consequence, they can represent non-manifold situations, open and closed sets, ...
232
click to vote
AGP
2010
IEEE
15 years 8 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
162
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...
149
Voted
SDM
2010
SIAM
15 years 5 months ago
2010
SIAM
We apply statistical relational learning to a database of criminal and terrorist activity to predict attributes and event outcomes. The database stems from a collection of news ar...
121
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Although testing for simultaneous divergence (vicariance) across different population-pairs that span the same barrier to gene flow is of central importance to evoluti...