3228 search results - page 435 / 646 » Computationally Sound Proofs |
149
click to vote
BRAIN
2010
Springer
15 years 10 days ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
153
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
Human activity recognition and speech recognition appear to be two loosely related research areas. However, on a careful thought, there are several analogies between activity and ...
128
Voted
TASLP
2011
14 years 10 months ago
2011
—Measuring binaural room impulse responses (BRIRs) for different rooms and different persons is a costly and time-consuming task. In this paper, we propose a method that allows t...
210
Voted
CSFW
2011
IEEE
14 years 3 months ago
2011
IEEE
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
200
click to vote
ICDCS
2011
IEEE
14 years 3 months ago
2011
IEEE
—Code dissemination in wireless sensor networks refers to the process of disseminating a new code image via wireless links to all sensor nodes after they are deployed. It is desi...