699 search results - page 62 / 140 » mc 2008 |
91
Voted
AISC
2008
Springer
15 years 2 months ago
2008
Springer
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
102
Voted
FPLAY
2008
15 years 2 months ago
2008
This paper is a call for research in the field of game engine architecture and design, a more comprehensive and thorough understanding of which we consider to be essential for its...
CADE
2008
Springer
16 years 26 days ago
2008
Springer
Abstract. This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subs...
96
Voted
DSD
2008
IEEE
15 years 2 months ago
2008
IEEE
The long-word and very long-word addition required in cryptography applications generally requires custom hardware support provided by ASICs or application-specific instructions i...
87
Voted
ICWSM
2008
15 years 2 months ago
2008
This paper presents an analysis of the correlation of annotated information unit (textual) tags and geographical identification metadata geotags. In this paper, to make it possibl...