Sciweavers

34 search results - page 5 / 7
» Modeling Crowd Behavior Based on Social Comparison Theory: E...
Sort
View
JSAI
2005
Springer
14 years 25 days ago
Network Topologies and Consumption Externalities
Abstract. The economic implications of network topologies are studied via a monopolist’s model of market networks originally proposed by Phan, et al. (2003). By embedding the mar...
Shu-Heng Chen, Li-Cheng Sun, Chih-Chien Wang
CORR
2000
Springer
91views Education» more  CORR 2000»
13 years 7 months ago
Multi-Agent Only Knowing
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
Joseph Y. Halpern, Gerhard Lakemeyer
KR
2010
Springer
14 years 3 days ago
Multi-Agent Only-Knowing Revisited
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
Vaishak Belle, Gerhard Lakemeyer
FMCAD
2008
Springer
13 years 8 months ago
Automatic Non-Interference Lemmas for Parameterized Model Checking
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
Jesse D. Bingham
CIBCB
2006
IEEE
14 years 1 months ago
A Stochastic model to estimate the time taken for Protein-Ligand Docking
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
Preetam Ghosh, Samik Ghosh, Kalyan Basu, Sajal K. ...