611 search results - page 120 / 123 » Yuri, Logic, and Computer Science |
BMCBI
2005
13 years 10 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...
EUROSYS
2010
ACM
14 years 8 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā...
LICS
2009
IEEE
14 years 5 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
LICS
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we ļ¬rst have the deļ¬nition of interaction-composition and then we have semantical types, as a set of strategies ...
LICS
2008
IEEE
14 years 5 months ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...