500 search results - page 84 / 100 » Coalgebraic semantics for timed processes |
CIKM
2006
Springer
15 years 3 months ago
2006
Springer
There has been a great amount of work on query-independent summarization of documents. However, due to the success of Web search engines query-specific document summarization (que...
124
click to vote
IPPS
1997
IEEE
15 years 3 months ago
1997
IEEE
Software distributed shared memory (DSM) techniques, while effective on applications with coarse-grained sharing, yield poor performance for the fine-grained sharing encountered i...
111
click to vote
DATESO
2010
14 years 9 months ago
2010
Abstract. The task of similarity search in multimedia databases is usually accomplished by range or k nearest neighbor queries. However, the expressing power of these "single-...
173
click to vote
ICAIL
2011
ACM
13 years 11 months ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...
182
click to vote
POPL
2004
ACM
16 years 3 days ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...