128 search results - page 18 / 26 » Increasingly correct message passing averaging algorithms |
143
Voted
ENTCS
2006
15 years 3 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
142
Voted
WEA
2010
Springer
15 years 8 months ago
2010
Springer
Server based route planning in road networks is now powerful enough to find quickest paths in a matter of milliseconds, even if detailed information on time-dependent travel times...
135
Voted
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
—Default ARTMAP combines winner-take-all category node activation during training, distributed activation during testing, and a set of default parameter values that define a read...
123
Voted
PODC
2005
ACM
15 years 9 months ago
2005
ACM
Deadlock detection scheduling is an important, yet oft-overlooked problem that can significantly affect the overall performance of deadlock handling. An excessive initiation of ...
147
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Recently, significant attention in compressed sensing has been focused on Basis Pursuit, exchanging the cardinality operator with the l1-norm, which leads to a linear formulation...