1941 search results - page 368 / 389 » Reasoning about Computations Using Two-Levels of Logic |
CCR
2006
14 years 12 months ago
2006
If despite your better judgment you decide to read this article, keep in mind that it was written during the summer, and this has been the hottest summer ever. To avoid such artic...
125
click to vote
ROBOCUP
2004
Springer
15 years 5 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
BMCBI
2010
14 years 12 months ago
2010
Background: Phylogenetic relationships between genes are not only of theoretical interest: they enable us to learn about human genes through the experimental work on their relativ...
105
click to vote
EUROSYS
2011
ACM
14 years 3 months ago
2011
ACM
The increasing popularity of cloud storage services has lead companies that handle critical data to think about using these services for their storage needs. Medical record databa...
BMCBI
2005
14 years 11 months ago
2005
Computational Biology needs computer-readable information records. Increasingly, meta-analysed and pre-digested information is being used in the follow up of high throughput exper...