Sciweavers

4719 search results - page 570 / 944
» Spreadsheet functional programming
Sort
View
137
Voted
ENTCS
2006
114views more  ENTCS 2006»
15 years 4 months ago
Towards Efficient, Typed LR Parsers
The LR parser generators that are bundled with many functional programming language implementations produce code that is untyped, needlessly inefficient, or both. We show that, us...
François Pottier, Yann Régis-Gianas
TCS
2008
15 years 4 months ago
Approximate GCDs of polynomials and sparse SOS relaxations
The problem of computing approximate GCDs of several polynomials with real or complex coefficients can be formulated as computing the minimal perturbation such that the perturbed ...
Bin Li, Jiawang Nie, Lihong Zhi
109
Voted
TNN
2008
81views more  TNN 2008»
15 years 4 months ago
Nonlinear Knowledge-Based Classification
Prior knowledge over general nonlinear sets is incorporated into nonlinear kernel classification problems as linear constraints in a linear program. The key tool in this incorpora...
Olvi L. Mangasarian, Edward W. Wild
AUTOMATICA
2004
109views more  AUTOMATICA 2004»
15 years 4 months ago
Optimal stationary behavior for a class of timed continuous Petri nets
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at places are solved by using stationary routing parameters. We show how to compute the...
Bruno Gaujal, Alessandro Giua
ENTCS
2002
141views more  ENTCS 2002»
15 years 4 months ago
Coalgebraic Monads
This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term grap...
Neil Ghani, Christoph Lüth, Federico De March...