900 search results - page 126 / 180 » On the observational theory of the CPS-calculus |
184
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
We consider a discrete time state estimation problem over a packet-based network. In each discrete time step, a measurement packet is sent across a lossy network to an estimator u...
151
click to vote
BC
2007
15 years 6 months ago
2007
We consider the issue of how to read out the information from nonstationary spike train ensembles. Based on the theory of censored data in statistics, we propose a ‘censored’ m...
152
click to vote
COGSCI
2010
15 years 6 months ago
2010
Research in education and cognitive development suggests that explaining plays a key role in learning and generalization: When learners provide explanations--even to themselves--t...
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previ...
163
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...