4959 search results - page 598 / 992 » Imperative Functional Programming |
198
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...
155
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
185
click to vote
TVCG
2012
13 years 9 months ago
2012
— Scientists conducting microarray and other experiments use circular Venn and Euler diagrams to analyze and illustrate their results. As one solution to this problem, this artic...
178
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
d Abstract) Paul Beame1, , Matei David2, , Toniann Pitassi2, , and Philipp Woelfel2,† 1 University of Washington 2 University of Toronto Abstract. We solve some fundamental probl...
158
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we study a novel problem of staring people discovery from social networks, which is concerned with finding people who are not only authoritative but also sociable i...