4224 search results - page 697 / 845 » Reasoning about Choice |
94
Voted
ASE
2008
15 years 1 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
102
Voted
ASE
2008
15 years 1 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
BIB
2008
15 years 1 months ago
2008
The availability of hundreds of complete bacterial genomes has created new challenges and simultaneously opportunities for bioinformatics. In the area of statistical analysis of g...
106
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The knowledge about proteins with specific interaction capacity to the protein partners is very important for the modeling of cell signaling networks. However, the exp...
COGSCI
2010
15 years 1 months ago
2010
A well-established principle of language is that there is a preference for closely related words to be close together in the sentence. This can be expressed as a preference for de...