370 search results - page 30 / 74 » Bounded modified realizability |
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
— Recently, a maximum likelihood (ML) detection rule for differential unitary space time modulation (DUSTM) under the existence of unknown carrier frequency offset (CFO) has been...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Long-range dependence (LRD) is a largely verified property of Internet traffic, which severely affects network queuing. An approach for guaranteeing performance requirements is...
SAT
2004
Springer
14 years 2 months ago
2004
Springer
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
FOSAD
2009
Springer
14 years 15 days ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
NIPS
2008
13 years 10 months ago
2008
We continue our study of online prediction of the labelling of a graph. We show a fundamental limitation of Laplacian-based algorithms: if the graph has a large diameter then the ...