1356 search results - page 124 / 272 » A variable-free dynamic semantics |
132
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper, we present a new approach for image labeling based on the recently introduced graph-shifts algorithm. Graph-shifts is an energy minimization algorithm that does lab...
138
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
126
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
We propose Facetedpedia, a faceted retrieval system for information discovery and exploration in Wikipedia. Given the set of Wikipedia articles resulting from a keyword query, Fac...
123
click to vote
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
130
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...