2836 search results - page 273 / 568 » Towards Hovering Information |
167
click to vote
GIR
2008
ACM
15 years 7 months ago
2008
ACM
There is a need for GIR systems to interpret the vague aspects of spatial language. Here we describe an initial approach towards evaluating crisp realisations of a field-based mo...
181
click to vote
AROBOTS
2000
15 years 6 months ago
2000
Distributed Artificial Intelligence (DAI) has existed as a subfield of AI for less than two decades. DAI is concerned with systems that consist of multiple independent entities th...
174
click to vote
IANDC
2010
15 years 4 months ago
2010
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...
213
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Proximity-based mobile social networking (PMSN) refers to the social interaction among physically proximate mobile users directly through the Bluetooth/WiFi interfaces on their ...
179
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Ride Connect is a tool integrated into the social networking site Facebook's (www.Facebook.com) event planning feature. Ride Connect helps people coordinate transportation t...