2018 search results - page 83 / 404 » Code Normal Forms |
120
click to vote
AUIC
2003
IEEE
15 years 7 months ago
2003
IEEE
Spreadsheets are an extremely common form of end-user programming used for many applications from student marks to accounting for global multinationals. Ways of studying the struc...
ISCAS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper studies simple hyperchaotic circuits consisting of one linear 3-port voltage-controlled current source (ab. VCCS), two linear capacitors and one dependent switched capa...
105
click to vote
FCT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. The maximum intersection problem for a matroid and a greedoid, given by polynomial-time oracles, is shown NP-hard by expressing the satisfiability of boolean formulas in...
118
click to vote
ESOP
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
106
click to vote
LICS
1997
IEEE
15 years 5 months ago
1997
IEEE
We present a game-theoretic model of the polymorphic -calculus, system F, as a fibred category. Every morphism of the model defines an -expanded, -normal form ^ of system F whose...