6047 search results - page 1059 / 1210 » Modeling with Extend |
130
click to vote
LOGCOM
2010
15 years 11 days ago
2010
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
134
click to vote
PVLDB
2010
15 years 10 days ago
2010
Complex networks, such as biological, social, and communication networks, often entail uncertainty, and thus, can be modeled as probabilistic graphs. Similar to the problem of sim...
128
click to vote
SAB
2010
Springer
15 years 10 days ago
2010
Springer
Biological brains can adapt and learn from past experience. In neuroevolution, i.e. evolving artificial neural networks (ANNs), one way that agents controlled by ANNs can evolve t...
120
click to vote
SPIN
2010
Springer
15 years 9 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
124
click to vote
TMC
2010
15 years 9 days ago
2010
—To make a network last beyond the lifetime of an individual sensor, redundant sensors must be deployed. What sleep-wakeup schedule can then be used for individual sensors so tha...