Sciweavers

3605 search results - page 115 / 721
» Associated types with class
Sort
View
148
Voted
FOCS
2009
IEEE
15 years 10 months ago
Approximation Algorithms for Multicommodity-Type Problems with Guarantees Independent of the Graph Size
— Linial, London and Rabinovich [16] and Aumann and Rabani [3] proved that the min-cut max-flow ratio for general maximum concurrent flow problems (when there are k commodities...
Ankur Moitra
137
Voted
MPC
2010
Springer
152views Mathematics» more  MPC 2010»
15 years 8 months ago
Lucy-n: a n-Synchronous Extension of Lustre
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
Louis Mandel, Florence Plateau, Marc Pouzet
116
Voted
ICWE
2010
Springer
15 years 2 months ago
Models and Meta Models for Transactions in Web Applications
In this paper, we present a DSL to specify business and web transactions in a systematic way, addressing both informational and behavioral perspectives. Our meta-model is based on ...
Mark Douglas Jacyntho, Daniel Schwabe

Book
594views
17 years 1 months ago
A Gentle Introduction to Haskell
The book covers the following topics: Values, Types, Functions, Case Expressions and Pattern Matching, Type Classes and Overloading, Input/Output, Standard Haskell Classes Monads,...
Paul Hudak, John Peterson, Joseph Fasel
105
Voted
LREC
2008
85views Education» more  LREC 2008»
15 years 4 months ago
A Multilingual Database of Polarity Items
This paper presents three electronic collections of polarity items: (i) negative polarity items in Romanian, (ii) negative polarity items in German, and (iii) positive polarity it...
Beata Trawinski, Jan-Philipp Soehn