844 search results - page 65 / 169 » Safraless Decision Procedures |
ENVSOFT
2008
13 years 8 months ago
2008
Compensation payments to farmers who apply species-friendly farming activities are a common instrument to reconcile nature conservation with agriculture in Europe. In order to des...
VSTTE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
BMCBI
2010
13 years 3 months ago
2010
Background: Genome context methods have been introduced in the last decade as automatic methods to predict functional relatedness between genes in a target genome using the patter...
JMS
2010
13 years 3 months ago
2010
In this paper, we established a newborn screening system under the HL7/Web Services frameworks. We rebuilt the NTUH Newborn Screening Laboratory's original standalone architec...
TARK
2007
Springer
14 years 2 months ago
2007
Springer
The problem of the aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on the same propositions has recently drawn m...