3760 search results - page 157 / 752 » Logic-Based Probabilistic Modeling |
128
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
We develop a probabilistic framework for global modeling of the traffic over a computer network. The model integrates existing single
145
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
153
click to vote
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Self-replicating structures in cellular automata have been extensively studied in the past as models of Artificial Life. However, CAs, unlike the biological cellular mod...
177
click to vote
ACL
2003
15 years 7 months ago
2003
Ordering information is a critical task for natural language generation applications. In this paper we propose an approach to information ordering that is particularly suited for ...
187
click to vote
KI
2007
Springer
16 years 17 days ago
2007
Springer
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...