109 search results - page 8 / 22 » Information flow inference for free |
106
click to vote
CRYPTO
2006
Springer
15 years 3 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...
CCR
2008
14 years 11 months ago
2008
Flow records gathered by routers provide valuable coarse-granularity traffic information for several measurement-related network applications. However, due to high volumes of traf...
100
click to vote
POPL
1995
ACM
15 years 3 months ago
1995
ACM
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
90
Voted
SAS
2004
Springer
15 years 5 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
107
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
The power of sparse signal coding with learned overcomplete dictionaries has been demonstrated in a variety of applications and fields, from signal processing to statistical infe...