Sciweavers

4708 search results - page 142 / 942
» Generating the Structure of Argument
Sort
View
ICFP
1999
ACM
15 years 9 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
POPL
1997
ACM
15 years 9 months ago
First-class Polymorphism with Type Inference
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
Mark P. Jones
149
Voted
SMA
1997
ACM
123views Solid Modeling» more  SMA 1997»
15 years 9 months ago
On Multiple Interpretations
This paper is concerned with frequency adverbs in Japanese. Many linguists have pointed out that frequency statements and generic sentences have multiple readings when they co-occ...
JungHyun Han
SCALESPACE
1997
Springer
15 years 9 months ago
Invertible Orientation Bundles on 2D Scalar Images
A general approach for multiscale orientation analysis of 2D scalar images is proposed. A scale-dependent orientation bundle (map of the visual space into function of two arguments...
Stiliyan Kalitzin, Bart M. ter Haar Romeny, Max A....
132
Voted
LREC
2010
180views Education» more  LREC 2010»
15 years 6 months ago
A Comprehensive Resource to Evaluate Complex Open Domain Question Answering
We describe two corpora of question and answer pairs collected for complex, open-domain Question Answering (QA) to enable answer classification and re-ranking experiments. We deli...
Silvia Quarteroni, Alessandro Moschitti