6248 search results - page 107 / 1250 » Programming in a data factory |
112
Voted
EUROCOLT
1999
Springer
15 years 7 months ago
1999
Springer
The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds ...
117
Voted
DDECS
2008
IEEE
15 years 9 months ago
2008
IEEE
— Testing SoC is a challenging task, especially when addressing complex and highfrequency devices. Among the different techniques that can be exploited, Software-Based Selft-Test...
98
Voted
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
108
Voted
CHI
2008
ACM
15 years 4 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...
118
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...