1523 search results - page 119 / 305 » Partially ordered secretaries |
92
Voted
CIKM
2005
Springer
15 years 6 months ago
2005
Springer
This paper shows a scheme for incremental evaluation of XPath queries. Here, we focus on a monotone fragment of XPath, i.e., when a data is deleted from (or inserted to) the datab...
111
Voted
FPL
2005
Springer
15 years 6 months ago
2005
Springer
A module generator called Mullet for producing near-optimal parallel multipliers in a technology independent manner is presented. Using this tool, a large number of candidate desi...
128
click to vote
TBILLC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Applying multi-agent systems in real world scenarios requires several essential research questions to be answered. Agents have to perceive their environment in order to t...
104
Voted
SBMF
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
103
click to vote
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
A new search algorithm for solving distributed constraint optimization problems (DisCOPs) is presented. Agents assign variables sequentially and propagate their assignments asynchr...