Sciweavers

420 search results - page 58 / 84
» Discovering Conditional Functional Dependencies
Sort
View
ELP
1991
15 years 6 months ago
Natural Semantics and Some of Its Meta-Theory in Elf
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
Spiro Michaylov, Frank Pfenning
85
Voted
APPROX
2008
Springer
71views Algorithms» more  APPROX 2008»
15 years 5 months ago
Tight Bounds for Hashing Block Sources
It is known that if a 2-universal hash function H is applied to elements of a block source (X1, . . . , XT ), where each item Xi has enough min-entropy conditioned on the previous...
Kai-Min Chung, Salil P. Vadhan
CORR
2010
Springer
100views Education» more  CORR 2010»
15 years 3 months ago
Products of Weighted Logic Programs
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
Shay B. Cohen, Robert J. Simmons, Noah A. Smith
JC
2007
94views more  JC 2007»
15 years 3 months ago
On the complexity of the multivariate Sturm-Liouville eigenvalue problem
We study the complexity of approximating the smallest eigenvalue of −∆ + q with Dirichlet boundary conditions on the d-dimensional unit cube. Here ∆ is the Laplacian, and th...
A. Papageorgiou
JNS
2007
68views more  JNS 2007»
15 years 3 months ago
Single Droplet Pattern in the Cylindrical Phase of Diblock Copolymer Morphology
The Ohta-Kawasaki density functional theory of diblock copolymers gives rise to a nonlocal free boundary problem. Under a proper condition between the block composition fraction a...
X. Ren, J. Wei