3335 search results - page 249 / 667 » Grid result checking |
187
click to vote
VMCAI
2010
Springer
16 years 3 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...
156
click to vote
DATE
2009
IEEE
16 years 1 months 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...
161
click to vote
NCA
2009
IEEE
16 years 1 months 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...
135
click to vote
GLOBECOM
2006
IEEE
16 years 16 days 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 ...
175
click to vote
ICMCS
2005
IEEE
16 years 2 days 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...