762 search results - page 101 / 153 » Intercode Regular Languages |
115
Voted
TCS
2008
15 years 2 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
126
click to vote
IFIP
2010
Springer
15 years 26 days ago
2010
Springer
In order to enhance the active life of senior professionals, one fundamental challenge is to identify ways to assist promoting the role of elder people within the continuously agei...
123
click to vote
PPDP
2010
Springer
15 years 23 days ago
2010
Springer
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
175
click to vote
VEE
2012
ACM
13 years 10 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
142
Voted
JMLR
2012
13 years 4 months ago
2012
Sparse additive models are families of d-variate functions with the additive decomposition f∗ = ∑j∈S f∗ j , where S is an unknown subset of cardinality s d. In this paper,...