29082 search results - page 12 / 5817 » The Time-Triggered Model of Computation |
131
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
140
Voted
BIOINFORMATICS
2012
13 years 5 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...
129
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: Building repositories of computational models of biological systems ensures that published models are available for both education and further research, and can provid...
125
click to vote
IJACTAICIT
2010
15 years 22 days ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...