4716 search results - page 494 / 944 » Iterative-free program analysis |
182
click to vote
ENTCS
2006
15 years 6 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
178
click to vote
SIAMJO
2002
15 years 6 months ago
2002
We consider the problem of constructing mean{risk models which are consistent with the second degree stochastic dominance relation. By exploiting duality relations of convex analys...
188
click to vote
IFIP
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a user-centered design methodology for Decision Support Systems (DSSs), which is specifically built to face the socio-technical gap that often impedes DSS accep...
170
click to vote
ACL
2011
14 years 10 months ago
2011
We investigate full-scale shortest-derivation parsing (SDP), wherein the parser selects an analysis built from the fewest number of training fragments. Shortest derivation parsing...
200
click to vote
JMLR
2012
13 years 9 months ago
2012
We study sparse principal components analysis in the high-dimensional setting, where p (the number of variables) can be much larger than n (the number of observations). We prove o...