269 search results - page 47 / 54 » Computational soundness of observational equivalence |
127
Voted
EJC
2008
15 years 1 months ago
2008
It is known that every constraint-satisfaction problem (CSP) reduces, and is in fact polynomially equivalent, to a digraph coloring problem. By carefully analyzing the constructio...
99
Voted
IOR
2010
15 years 8 days ago
2010
We study a problem of dynamic pricing faced by a vendor with limited inventory, uncertain about demand, aiming to maximize expected discounted revenue over an infinite time horiz...
SIAMSC
2010
15 years 6 days ago
2010
This work presents a mesh refinement indicator based on entropy variables, with an application to the compressible Navier-Stokes equations. The entropy variables are shown to sati...
123
click to vote
ASPLOS
2010
ACM
15 years 24 days ago
2010
ACM
Semantic indexing is a popular technique used to access and organize large amounts of unstructured text data. We describe an optimized implementation of semantic indexing and docu...
134
Voted
IEEEPACT
2008
IEEE
15 years 8 months ago
2008
IEEE
Technology scaling in integrated circuits has consistently provided dramatic performance improvements in modern microprocessors. However, increasing device counts and decreasing o...