4355 search results - page 399 / 871 » From Interpretation to Compilation |
180
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
153
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile...
195
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
Ontology-driven search applications use ontological concepts either to index documents or to guide and understand the users. Since ontologies by nature are domain-dependent and app...
167
click to vote
COLING
2008
15 years 8 months ago
2008
Creative metaphor is a phenomenon that stretches and bends the conventions of semantic description, often to humorous and poetic extremes. The computational modeling of metaphor t...
166
click to vote
ESANN
2008
15 years 8 months ago
2008
Rhythmic synchronization of activated neural groups in the gamma-frequency range (30-100 Hz) is observed in many brain regions. Interneuron networks are key to the generation of th...