4716 search results - page 494 / 944 » Iterative-free program analysis |
205
click to vote
ENTCS
2006
15 years 7 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...
198
Voted
SIAMJO
2002
15 years 7 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...
216
Voted
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...
189
Voted
ACL
2011
14 years 11 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...
223
Voted
JMLR
2012
13 years 10 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...