Sciweavers

3634 search results - page 16 / 727
» The Field Representation Language
Sort
View
APLAS
2010
ACM
13 years 7 months ago
A Provably Correct Stackless Intermediate Representation for Java Bytecode
Delphine Demange, Thomas P. Jensen, David Pichardi...
IFIP
2010
Springer
13 years 5 months ago
Knowledge Representation in Virtual Teams: A Perspective Approach for Synthetic Worlds
Giacomo Fiumara, Dario Maggiorini, Alessandro Prov...
EMNLP
2011
12 years 7 months ago
Structural Opinion Mining for Graph-based Sentiment Representation
Yuanbin Wu, Qi Zhang, Xuanjing Huang, Lide Wu
IJCAI
2001
13 years 8 months ago
Causal interaction: from a high-level representation to an operational event-based representation
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
Irène Grosclaude, Marie-Odile Cordier, Rene...
JSYML
2006
119views more  JSYML 2006»
13 years 7 months ago
0-D-valued fields
In [Sca99], T. Scanlon proved a quantifier elimination result for valued D-fields in a three-sorted language by using angular component functions. Here we prove an analogous theore...
Nicolas Guzy