6020 search results - page 212 / 1204 » A New Approach to Model Counting |
188
click to vote
SOCO
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientific journal artic...
174
click to vote
WSDM
2012
ACM
14 years 13 days ago
2012
ACM
As massive repositories of real-time human commentary, social media platforms have arguably evolved far beyond passive facilitation of online social interactions. Rapid analysis o...
138
click to vote
KI
2006
Springer
15 years 4 months ago
2006
Springer
A new approach to building robots with anticipatory behavior is presented. This approach is based on analogy with a single episode from the past experience of the robot. The AMBR m...
138
Voted
PPL
2007
15 years 4 months ago
2007
ract problem of using P failure-prone processors to cooperatively update all locations of an N-element shared array is called Write-All. Solutions to Write-All can be used iterati...
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...