2436 search results - page 202 / 488 » Comonadic Notions of Computation |
126
click to vote
SOFSEM
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularit...
129
click to vote
COORDINATION
2010
Springer
15 years 8 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
150
click to vote
BMVC
2002
15 years 7 months ago
2002
Interest point detectors are commonly employed to reduce the amount of data to be processed. The ideal interest point detector would robustly select those features which are most ...
140
click to vote
EXACT
2008
15 years 7 months ago
2008
This paper describes a project aiming at enhancing social tagging with reasoning and explanations. So as to keep with the ease of use characteristic of social media, simple explana...
111
click to vote
NSDI
2008
15 years 7 months ago
2008
The systems and networking community treasures "simple" system designs, but our evaluation of system simplicity often relies more on intuition and qualitative discussion...