923 search results - page 162 / 185 » Proving the value of formal methods |
153
Voted
IJCAI
1997
15 years 3 months ago
1997
We study the problemof statisticallycorrect inference in networks whose basic representations are population codes. Population codes are ubiquitous in the brain, and involve the s...
118
Voted
TC
2010
14 years 8 months ago
2010
It is imperative to design efficient and effective online spectrum allocation methods since requests for spectrums often come in an online fashion. In this paper, we propose SALSA,...
114
click to vote
POPL
1995
ACM
15 years 5 months ago
1995
ACM
The goal of program transformation is to improve efficiency while preserving meaning. One of the best known transformation techniques is Burstall and Darlington’s unfold-fold me...
123
click to vote
ICDCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Coverage problem is a fundamental issue in wireless ad hoc and sensor networks. Previous techniques for coverage scheduling often require accurate location information o...
115
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Hidden Markov Models (HMMs) have been extensively used in computational molecular biology, for modelling protein and nucleic acid sequences. In many applications, such...