7430 search results - page 669 / 1486 » Programming Applications in CIFF |
161
Voted
FPCA
1991
15 years 10 months ago
1991
We tackle the problem of detecting global variables in functional programs. We present syntactic criteria for single-threading which improves upon previous solutions (both syntact...
175
click to vote
FPCA
1987
15 years 10 months ago
1987
: Categorical Multi-Combinators form a rewriting system developed with the aim of providing efficient implementations of lazy functional languages. The core of the system of Catego...
213
Voted
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Mixed Multi-Unit Combinatorial Auctions offer a high potential to be employed for the automated assembly of supply chains of agents offering goods and services. Their winner deter...
185
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, an input/output system identification technique for the Wiener-Hammerstein model and its feedback extension is proposed. In the proposed framework, the identificatio...
177
click to vote
CHI
2008
ACM
15 years 9 months ago
2008
ACM
Existing tools require end-user programmers (EUPs) to write regular expressions ("regexps") or even scripts to validate textual inputs, which is slow and error-prone. We...