Sciweavers

1687 search results - page 334 / 338
» Light Functional Interpretation
Sort
View
CORR
2011
Springer
158views Education» more  CORR 2011»
14 years 6 months ago
SqFreeEVAL: An (almost) optimal real-root isolation algorithm
Let f be a univariate polynomial with real coefficients, f ∈ R[X]. Subdivision algorithms based on algebraic techniques (e.g., Sturm or Descartes methods) are widely used for is...
Michael Burr, Felix Krahmer
108
Voted
CORR
2011
Springer
213views Education» more  CORR 2011»
14 years 6 months ago
Liquidsoap: a High-Level Programming Language for Multimedia Streaming
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...
David Baelde, Romain Beauxis, Samuel Mimram
COLING
2010
14 years 6 months ago
Multiword Expressions in the wild? The mwetoolkit comes in handy
The mwetoolkit is a tool for automatic extraction of Multiword Expressions (MWEs) from monolingual corpora. It both generates and validates MWE candidates. The generation is based...
Carlos Ramisch, Aline Villavicencio, Christian Boi...
IGPL
2011
14 years 6 months ago
J-MADeM, a market-based model for complex decision problems
This paper presents J-MADeM, a multi-modal decision making mechanism to provide agents in a Multi-Agent Systems (MAS) with a market-based model for complex decision problems. J-MA...
Francisco Grimaldo, Miguel Lozano, Fernando Barber
JGO
2011
83views more  JGO 2011»
14 years 6 months ago
Application of convex lexicographical optimization to the balance of GRTgaz gas grid
Shippers are daily users of the French gas grid. Differences between planned and effective gas demand unbalance the grid. To restore the balance, GRTgaz computes every day amoun...
Soizic Adam, J. Frédéric Bonnans, Ru...