349 search results - page 44 / 70 » The feature construct for SMV: Semantics |
104
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
101
click to vote
ICFP
2001
ACM
15 years 11 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a query-by-example audio retrieval framework by indexing audio clips in a generic database as points in a latent perceptual space. First, feature-vectors extracted from...
LTCONF
2007
Springer
15 years 6 months ago
2007
Springer
Recent work in sentiment analysis has begun to apply fine-grained semantic distinctions between expressions of attitude as features for textual analysis. Such methods, however, r...
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
A dynamic language improves programmer productivity through flexible typing, a focus on high-level programming, and by streamlining the edit-compile-debug cycle. Live languages g...