4184 search results - page 494 / 837 » Names of Our Lives |
204
click to vote
COCO
2008
Springer
15 years 8 months ago
2008
Springer
Discrepancy is a versatile bound in communication complexity which can be used to show lower bounds in the distributional, randomized, quantum, and even unbounded error models of ...
177
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursiv...
197
click to vote
EDBT
2008
ACM
15 years 8 months ago
2008
ACM
A large class of applications require real-time processing of continuous stream data resulting in the development of data stream management systems (DSMS). Since many of these app...
146
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Different security notions and settings for identification protocols have been proposed so far, considering different powerful adversaries that can play "man-in-the-...
197
click to vote
ACL
2007
15 years 8 months ago
2007
This paper proposes a novel method for phrase-based statistical machine translation by using pivot language. To conduct translation between languages Lf and Le with a small biling...