5465 search results - page 119 / 1093 » Assigning Types to Processes |
XSYM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We are presenting a coherent framework for XQuery processing that incorporates IR-style approximate matching and allows the ordering of results by their relevance score. ...
RTCSA
1998
IEEE
15 years 2 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
120
click to vote
SIGMETRICS
1992
ACM
15 years 2 months ago
1992
ACM
The CLOCK algorithm is a popular buffer replacement algorithm becauseof its simplicity and its ability to approximate the performance of the Least Recently Used (LRU) replacement ...
WSC
2008
15 years 9 days ago
2008
United States Air Mobility Command (AMC) has a limited number of C-5 aircraft, and so opportunities to either preserve or increase aircraft availability are of interest to them. I...
100
click to vote
AAAI
2011
13 years 10 months ago
2011
We consider the problem of modeling network interactions and identifying latent groups of network nodes. This problem is challenging due to the facts i) that the network nodes are...