699 search results - page 62 / 140 » mc 2008 |
114
Voted
AISC
2008
Springer
15 years 5 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...
123
click to vote
FPLAY
2008
15 years 5 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...
113
Voted
CADE
2008
Springer
16 years 3 months 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...
120
Voted
DSD
2008
IEEE
15 years 5 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...
117
Voted
ICWSM
2008
15 years 5 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...