3335 search results - page 249 / 667 » Grid result checking |
170
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
144
click to vote
DATE
2009
IEEE
16 years 9 days ago
2009
IEEE
—FPGAs are widely used for evaluating the error-floor performance of LDPC (low-density parity check) codes. We propose a scalable vector decoder for FPGA-based implementation of...
141
click to vote
NCA
2009
IEEE
16 years 8 days ago
2009
IEEE
Abstract—This paper describes a set of innovative attributebased checks for defending against phishing attacks1 . We explain a number of anti-phishing algorithms implemented as p...
122
click to vote
GLOBECOM
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Combining multi-source cooperation and linkadaptive regenerative techniques, we develop a novel protocol capable of achieving diversity up to the number of cooperating ...
158
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
To exactly detect what events occur in baseball games, a framework that integrates rule-based and model-based decision methods is proposed. The rule-based decision module infers w...