2432 search results - page 452 / 487 » Cryptographic logical relations |
217
click to vote
ICAIL
2011
ACM
14 years 3 months ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...
156
Voted
VSTTE
2012
Springer
13 years 11 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
139
click to vote
DAC
2012
ACM
13 years 6 months ago
2012
ACM
In this work we address the problem of managing interconnect timing in high-level synthesis by generating a layoutfriendly microarchitecture. A metric called spreading score is pr...
121
click to vote
ICIP
1999
IEEE
16 years 5 months ago
1999
IEEE
The Median-Rational Hybrid Filter (MRHF) has been recently introduced [1][2] as a new class of nonlinear filters and successfully applied to image filtering problems. The main cha...
248
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...