3481 search results - page 160 / 697 » Exploration in Relational Worlds |
122
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
This paper explores the applicability of two formal models of spatial relations, Double Cross and RfDL3-12, to interpret some typical expressions that people use for describing a r...
139
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
158
Voted
IJCAI
2001
15 years 6 months ago
2001
A new, general approach is described for approximate inference in first-order probabilistic languages, using Markov chain Monte Carlo (MCMC) techniques in the space of concrete po...
131
click to vote
COMPUTER
2004
15 years 4 months ago
2004
and services. Abstract goods and services such as pictures, speech, and music--which have in the past been relatively awkward to deal with as analog data--have, through digital tec...
140
click to vote
BIOWIRE
2007
Springer
15 years 10 months ago
2007
Springer
The emergence of Delay Tolerant Networks (DTNs) has culminated in a new generation of wireless networking. New communication paradigms, which use dynamic interconnectedness as peop...