1021 search results - page 96 / 205 » Pure Subtype Systems |
118
click to vote
LICS
2010
IEEE
15 years 23 days ago
2010
IEEE
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...
120
click to vote
ACL
2009
15 years 5 days ago
2009
Recently, various synchronous grammars are proposed for syntax-based machine translation, e.g. synchronous context-free grammar and synchronous tree (sequence) substitution gramma...
124
click to vote
CC
2010
Springer
14 years 11 months ago
2010
Springer
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...
204
click to vote
ICOM
2011
14 years 5 months ago
2011
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...
105
Voted
TOCS
2012
13 years 4 months ago
2012
We analyze the I/O behavior of iBench, a new collection of productivity and multimedia application workloads. Our analysis reveals a number of differences between iBench and typic...