1818 search results - page 188 / 364 » Operant conditioning |
ENTCS
2006
13 years 10 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
JCIT
2008
13 years 10 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
— We study the problem of decentralized sequential change detection with conditionally independent observations. The sensors form a star topology with a central node called fusio...
JSAC
2008
13 years 10 months ago
2008
We compare two possible mechanisms to manage a peer-to-peer storage system, where participants can store data online on the disks of peers in order to increase data availability an...
ENTCS
2007
13 years 10 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...