614 search results - page 94 / 123 » The Power of Methods With Parallel Semantics |
138
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
151
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
Much research effort on Automatic Image Annotation
(AIA) has been focused on Generative Model, due to its
well formed theory and competitive performance as compared
with many we...
90
Voted
AUSAI
1998
Springer
15 years 4 months ago
1998
Springer
Agent-based computing in Arti cial Intelligence has given rise to a number of diverse and competing proposals for agent programming languages. Agents, in the sense we are using it...
107
Voted
POPL
2000
ACM
15 years 4 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
104
Voted
COLING
2002
15 years 9 days ago
2002
It is popular in WSD to use contextual information in training sense tagged data. Co-occurring words within a limited window-sized context support one sense among the semantically...