Sciweavers

3729 search results - page 377 / 746
» On Formal Modeling of Agent Computations
Sort
View
MSWIM
2006
ACM
16 years 22 days ago
Testing methodology for an ad hoc routing protocol
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
Stéphane Maag, Fatiha Zaïdi
AAAI
2010
15 years 8 months ago
The Genetic Algorithm as a General Diffusion Model for Social Networks
Diffusion processes taking place in social networks are used to model a number of phenomena, such as the spread of human or computer viruses, and the adoption of products in `vira...
Mayank Lahiri, Manuel Cebrián
AAAI
2007
15 years 9 months ago
Probabilistic Community Discovery Using Hierarchical Latent Gaussian Mixture Model
Complex networks exist in a wide array of diverse domains, ranging from biology, sociology, and computer science. These real-world networks, while disparate in nature, often compr...
Haizheng Zhang, C. Lee Giles, Henry C. Foley, John...
AAAI
2008
15 years 9 months ago
Hidden Dynamic Probabilistic Models for Labeling Sequence Data
We propose a new discriminative framework, namely Hidden Dynamic Conditional Random Fields (HDCRFs), for building probabilistic models which can capture both internal and external...
Xiaofeng Yu, Wai Lam
AAAI
2007
15 years 9 months ago
Learning Large Scale Common Sense Models of Everyday Life
Recent work has shown promise in using large, publicly available, hand-contributed commonsense databases as joint models that can be used to infer human state from day-to-day sens...
William Pentney, Matthai Philipose, Jeff A. Bilmes...