1646 search results - page 48 / 330 » Automatic generation of two-party computations |
CADE
2008
Springer
13 years 9 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
ACL
2009
13 years 5 months ago
2009
We investigate the influence of information status (IS) on constituent order in German, and integrate our findings into a loglinear surface realisation ranking model. We show that...
INTERSPEECH
2010
13 years 2 months ago
2010
This paper presents a method for rescoring the speech recognition lattices on-the-fly to increase the word accuracy while preserving low latency of a real-time speech recognition ...
FDG
2009
ACM
14 years 2 months ago
2009
ACM
We present a rhythm-based method for the automatic generation of levels for 2D platformers, where the rhythm is that which the player feels with his hands while playing. Levels ar...
GPCE
2008
Springer
13 years 8 months ago
2008
Springer
High-level query constructs help greatly improve the clarity of programs and the productivity of programmers, and are being introduced to increasingly more languages. However, the...