635 search results - page 108 / 127 » Reasoning About Quantum Knowledge |
109
Voted
ICAI
2003
15 years 1 months ago
2003
– Existing team training software often requires that trainees be organized as physical teams and the members of the same team be trained at the same time. To demonstrate that te...
103
Voted
BMCBI
2010
15 years 17 days 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...
104
Voted
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
115
Voted
CORR
2008
Springer
15 years 16 days ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...
100
click to vote
ASE
2006
15 years 15 days ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...