6960 search results - page 991 / 1392 » Continuity Analysis of Programs |
137
click to vote
COORDINATION
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
124
click to vote
AAAI
2007
15 years 7 months ago
2007
A new spectral approach to value function approximation has recently been proposed to automatically construct basis functions from samples. Global basis functions called proto-val...
167
click to vote
USS
2008
15 years 7 months ago
2008
Graphics processors are continuing their trend of vastly outperforming CPUs while becoming more general purpose. The latest generation of graphics processors have introduced the a...
144
click to vote
ATC
2008
Springer
15 years 7 months ago
2008
Springer
Dynamic collaboration environments in which team member utilize different pervasive collaboration services for their collaborative work pose many challenges for service adaptation....
198
click to vote
CIKM
2005
Springer
15 years 6 months ago
2005
Springer
Inverted index structures are the mainstay of modern text retrieval systems. They can be constructed quickly using off-line mergebased methods, and provide efficient support for ...