1288 search results - page 218 / 258 » Visual Generalization in Programming by Example |
FLAIRS
2003
15 years 1 months ago
2003
This article describes the application of computational decision analytic techniques for a national policy decision. It constitutes an example of the increasing use of modern comp...
WSC
2004
15 years 1 months ago
2004
HDPS is a practical system for designing modeling paradigms, creating hierarchal model definitions, and evaluating multi-paradigm models - particularly in business and finance. HD...
107
click to vote
NIPS
2003
15 years 1 months ago
2003
In this paper, sparse representation (factorization) of a data matrix is first discussed. An overcomplete basis matrix is estimated by using the K−means method. We have proved ...
102
click to vote
SIGCOMM
2010
ACM
15 years 12 hour ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...