1596 search results - page 155 / 320 » Quantum property testing |
206
Voted
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 7 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
187
click to vote
COOP
2004
15 years 7 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
171
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
164
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Class posterior distributions have recently been used quite successfully in Automatic Speech Recognition (ASR), either for frame or phone level classification or as acoustic featu...
151
click to vote
COGSCI
2007
15 years 6 months ago
2007
A number of anthropologists have argued that religious concepts are minimally counterintuitive and that this gives them mnemic advantages. This paper addresses the question of why...