3729 search results - page 424 / 746 » On Formal Modeling of Agent Computations |
184
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
292
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
181
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
159
click to vote
WSC
1998
15 years 8 months ago
1998
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
175
Voted
FTML
2008
15 years 6 months ago
2008
The formalism of probabilistic graphical models provides a unifying framework for capturing complex dependencies among random variables, and building large-scale multivariate stat...