79 search results - page 5 / 16 » Distributed Local Resolution of Boolean Equation Systems |
SIAMSC
2011
13 years 2 months ago
2011
Abstract. In this paper, we propose new adaptive local refinement (ALR) strategies for firstorder system least-squares (FOSLS) finite element in conjunction with algebraic multi...
ATAL
2004
Springer
14 years 23 days ago
2004
Springer
In a cooperative multi-agent system that is situated in an evolving environment, agents need to dynamically adjust their negotiation attitudes towards different agents in order to...
NIPS
1993
13 years 8 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...
MICCAI
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. This paper addresses the problem of automatically segmenting bone structures in low resolution clinical MRI datasets. The novel aspect of the proposed method is the combi...
CONCUR
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...