1878 search results - page 86 / 376 » Feature Generation Using General Constructor Functions |
134
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
149
click to vote
ICIAR
2005
Springer
15 years 10 months ago
2005
Springer
We have developed a generic ontology of objects, and a knowledge base of everyday physical objects. Objects are represented as assemblies of functional features and their spatial r...
128
click to vote
ML
2008
ACM
15 years 4 months ago
2008
ACM
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...
142
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
162
click to vote
ICAS
2008
IEEE
15 years 11 months ago
2008
IEEE
Current standardization efforts aim towards a unifying platform for fixed and mobile telecommunication services. The IP multimedia subsystem is advocated as the candidate for buil...