Sciweavers

1974 search results - page 203 / 395
» Conditional Purchase Orders
Sort
View
FSTTCS
2010
Springer
15 years 3 months ago
On extracting computations from propositional proofs (a survey)
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
Pavel Pudlák
158
Voted
GLOBECOM
2010
IEEE
15 years 3 months ago
Network Tomography via Compressed Sensing
In network tomography, we seek to infer link status parameters (such as delay) inside a network through end-toend probe sending between (external) boundary nodes. The main challeng...
Mohammad Hamed Firooz, Sumit Roy
IEAAIE
2010
Springer
15 years 3 months ago
Fast HDR Image Generation Technique Based on Exposure Blending
In the proposed work a method for generating HDR images based on exposure blending is described. Using three differently exposed images a single image with recovered details in sha...
Andrey Vavilin, Kaushik Deb, Kang-Hyun Jo
ISAMI
2010
15 years 3 months ago
Employing Compact Intra-genomic Language Models to Predict Genomic Sequences and Characterize Their Entropy
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...
Sérgio A. D. Deusdado, Paulo Carvalho
171
Voted
ACL
2009
15 years 2 months ago
Semantic Tagging of Web Search Queries
We present a novel approach to parse web search queries for the purpose of automatic tagging of the queries. We will define a set of probabilistic context-free rules, which genera...
Mehdi Manshadi, Xiao Li