5109 search results - page 236 / 1022 » On Learning Limiting Programs |
168
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
173
Voted
ML
2006
ACM
16 years 11 days ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
127
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...
185
click to vote
COCOA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The search tree size of the spatial Branch-and-Bound algorithm for Mixed-Integer Nonlinear Programming depends on many factors, one of which is the width of the variable ...
199
click to vote
JMLR
2012
13 years 9 months ago
2012
In this work, we propose a hierarchical latent dictionary approach to estimate the timevarying mean and covariance of a process for which we have only limited noisy samples. We fu...