Sciweavers

4716 search results - page 531 / 944
» Tangible functional programming
Sort
View
84
Voted
PVLDB
2010
86views more  PVLDB 2010»
15 years 1 months ago
Thirteen New Players in the Team: A Ferry-based LINQ to SQL Provider
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
Tom Schreiber, Simone Bonetti, Torsten Grust, Manu...
124
Voted
EMNLP
2010
15 years 18 days ago
Turbo Parsers: Dependency Parsing by Approximate Variational Inference
We present a unified view of two state-of-theart non-projective dependency parsers, both approximate: the loopy belief propagation parser of Smith and Eisner (2008) and the relaxe...
André F. T. Martins, Noah A. Smith, Eric P....
118
Voted
AUSAI
2010
Springer
15 years 1 days ago
Evolutionary Non Photo-Realistic Animations with Triangular Brushstrokes
Abstract. We have developed a method for generating non photorealistic animations of a target image. The animations start as a random collection of triangular strokes on a canvas a...
Ashkan Izadi, Victor Ciesielski, Marsha Berry
132
Voted
TCS
2011
14 years 9 months ago
Realizability models and implicit complexity
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
Ugo Dal Lago, Martin Hofmann
140
Voted
ICALP
2011
Springer
14 years 6 months ago
Restoring Pure Equilibria to Weighted Congestion Games
Abstract. Congestion games model several interesting applications, including routing and network formation games, and also possess attractive theoretical properties, including the ...
Konstantinos Kollias, Tim Roughgarden