Sciweavers

3179 search results - page 341 / 636
» Applications of PCF Theory
Sort
View
120
Voted
FP
1995
110views Formal Methods» more  FP 1995»
15 years 7 months ago
Using Types to Parse Natural Language
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
Mark P. Jones, Paul Hudak, Sebastian Shaumyan
155
Voted
COMPGEOM
1987
ACM
15 years 7 months ago
Oriented Projective Geometry
In [12] Stolfi developed a complete theory of Oriented Projective Geometry. He showed that assigning meaning to the sign of an otherwise homogenous representation of geometry could...
Jorge Stolfi
108
Voted
SIGIR
2010
ACM
15 years 7 months ago
Spatial relationships in visual graph modeling for image categorization
In this paper, a language model adapted to graph-based representation of image content is proposed and assessed. The full indexing and retrieval processes are evaluated on two diļ...
Trong-Ton Pham, Philippe Mulhem, Loïc Maisonn...
135
Voted
ATAL
2008
Springer
15 years 5 months ago
Emerging coordination in infinite team Markov games
In this paper we address the problem of coordination in multi-agent sequential decision problems with infinite statespaces. We adopt a game theoretic formalism to describe the int...
Francisco S. Melo, M. Isabel Ribeiro
123
Voted
DMSN
2008
ACM
15 years 5 months ago
Probabilistic processing of interval-valued sensor data
When dealing with sensors with different time resolutions, it is desirable to model a sensor reading as pertaining to a time interval rather than a unit of time. We introduce two ...
Sander Evers, Maarten M. Fokkinga, Peter M. G. Ape...