1438 search results - page 192 / 288 » An Expressive Extension of TLC |
142
click to vote
PKDD
2009
Springer
16 years 28 days ago
2009
Springer
Subgroup discovery is a local pattern discovery task, in which descriptions of subpopulations of a database are evaluated against some quality function. As standard quality functio...
161
click to vote
TLCA
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
145
click to vote
FOAL
2009
ACM
16 years 27 days ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
148
click to vote
HASKELL
2009
ACM
16 years 27 days ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
154
click to vote
GLOBECOM
2008
IEEE
16 years 26 days ago
2008
IEEE
— Atmospheric turbulence induced fading is one of the main impairments affecting free–space optics (FSO). In recent years, Gamma–Gamma fading has become the dominant fading m...