Sciweavers

1418 search results - page 123 / 284
» Schema polynomials and applications
Sort
View
GC
2004
Springer
15 years 11 months ago
Towards a Formal Treatment of Secrecy Against Computational Adversaries
Polynomial time adversaries based on a computational view of cryptography have additional capabilities that the classical Dolev-Yao adversary model does not include. To relate thes...
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
FSTTCS
2007
Springer
15 years 10 months ago
Efficient and Expressive Tree Filters
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
Michael Benedikt, Alan Jeffrey
FCCM
2009
IEEE
106views VLSI» more  FCCM 2009»
15 years 10 months ago
Optimal Placement-aware Trace-Based Scheduling of Hardware Reconfigurations for FPGA Accelerators
Modern use of FPGAs as hardware accelerators involves the partial reconfiguration of hardware resources as the application executes. In this paper, we present a polynomial time al...
Joon Edward Sim, Weng-Fai Wong, Jürgen Teich
FLAIRS
2003
15 years 7 months ago
An Extension of the Differential Approach for Bayesian Network Inference to Dynamic Bayesian Networks
We extend the differential approach to inference in Bayesian networks (BNs) (Darwiche, 2000) to handle specific problems that arise in the context of dynamic Bayesian networks (D...
Boris Brandherm
INFOCOM
2010
IEEE
15 years 4 months ago
Approximate Capacity Subregions of Uniform Multihop Wireless Networks
—The capacity region of multihop wireless network is involved in many capacity optimization problems. However, the membership of the capacity region is NP-complete in general, an...
Peng-Jun Wan, Lixin Wang, Ai Huang, Minming Li, F....