900 search results - page 132 / 180 » On the observational theory of the CPS-calculus |
184
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—Knowing accurate positions of nodes in wireless ad-hoc and sensor networks is essential for a wide range of pervasive and mobile applications. However, errors are inevitable in ...
190
click to vote
JAIR
2010
15 years 4 months ago
2010
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...
154
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
199
click to vote
NECO
2010
15 years 4 months ago
2010
Abstract: Reservoir Computing (RC) systems are powerful models for online computations on input sequences. They consist of a memoryless readout neuron which is trained on top of a ...
155
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...