1690 search results - page 186 / 338 » Algorithmic Properties of Millstream Systems |
142
Voted
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
169
click to vote
ASIAN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
153
click to vote
CLOUD
2010
ACM
15 years 10 months ago
2010
ACM
Cloud computing has emerged as a preferred platform for deploying scalable web-applications. With the growing scale of these applications and the data associated with them, scalab...
146
click to vote
PLDI
2004
ACM
15 years 10 months ago
2004
ACM
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...
138
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
We present a new algorithm for color image quantization based on human color perception properties. We construct two kinds of map by analyzing the spatial color distributions to t...