13271 search results - page 267 / 2655 » Computers, Programming, and People |
184
click to vote
ECEASST
2006
15 years 6 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
166
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Traditional websites have long relied on users revealing their preferences explicitly through direct manipulation interfaces. However recent recommender systems have gone...
156
click to vote
PPL
2008
15 years 6 months ago
2008
In this paper we argue that it is possible to couple the advantages of programming with the well-known abstraction of RPC with asynchronous programming models adequate for wide-ar...
151
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Little is known about the impact of politeness in online communities. This project combines deductive and inductive approaches to automatically model linguistic politeness in onli...
164
click to vote
AINA
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents Geo-Linda, a physically distributed tuple space. Geo-Linda targets ubiquitous computing applications involving the detection of movement patterns of objects an...