Sciweavers

5326 search results - page 259 / 1066
» On what we can ensure
Sort
View
ATAL
2010
Springer
15 years 7 months ago
A general, fully distributed multi-agent planning algorithm
We present a fully distributed multi-agent planning algorithm. Our methodology uses distributed constraint satisfaction to coordinate between agents, and local planning to ensure ...
Raz Nissim, Ronen I. Brafman, Carmel Domshlak
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 6 months ago
Formalization of the data flow diagram rules for consistency check
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
Rosziati Ibrahim, Siow Yen yen
SIAMSC
2008
107views more  SIAMSC 2008»
15 years 6 months ago
A Hybrid Phase-Flow Method for Hamiltonian Systems with Discontinuous Hamiltonians
In this paper, we propose a new phase flow method for Hamiltonian systems with discontinuous Hamiltonians. In the original phase-flow method introduced by Ying and Cand`es [26], t...
Shi Jin, Hao Wu, Zhongyi Huang
ADCM
2004
73views more  ADCM 2004»
15 years 6 months ago
Polynomial Reproduction in Subdivision
Abstract. We study conditions on the matrix mask of a vector subdivision scheme ensuring that certain polynomial input vectors yield polynomial output again. The conditions are in ...
Kurt Jetter, G. Zimmermann
MSS
2010
IEEE
88views Hardware» more  MSS 2010»
15 years 5 months ago
Case-based belief formation under ambiguity
In this paper, we consider a decision-maker who tries to learn the distribution of outcomes from previously observed cases. For each observed database of cases the decision-maker ...
Jürgen Eichberger, Ani Guerdjikova