Sciweavers

2688 search results - page 344 / 538
» A formal semantics for P3P
Sort
View
FPCA
1995
15 years 10 months ago
Pi-Calculus, Dialogue Games and PCF
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
J. M. E. Hyland, C.-H. Luke Ong
TNN
1998
125views more  TNN 1998»
15 years 6 months ago
Symbolic connectionism in natural language disambiguation
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
Samuel W. K. Chan, James Franklin
GIS
2007
ACM
16 years 7 months ago
Multilevel object-oriented classification of quickbird images for urban population estimates
This paper is committed to explore object-oriented methods for the classification of Quickbird images, aiming to support future urban population estimates. The study area concerns...
Carolina M. D. Pinho, Cláudia Maria de Alme...
WWW
2008
ACM
16 years 7 months ago
Querying for meta knowledge
The Semantic Web is based on accessing and reusing RDF data from many different sources, which one may assign different levels of authority and credibility. Existing Semantic Web ...
Bernhard Schueler, Sergej Sizov, Steffen Staab, Du...
WWW
2006
ACM
16 years 7 months ago
Determining user interests about museum collections
Currently, there is an increasing effort to provide various personalized services on museum web sites. This paper presents an approach for determining user interests in a museum c...
Lloyd Rutledge, Lora Aroyo, Natalia Stash