472 search results - page 44 / 95 » Limiting Negations in Formulas |
ICMCS
2010
IEEE
13 years 11 months ago
2010
IEEE
Plenoptic cameras1 are able to acquire multi-view content that can be displayed on auto-stereoscopic displays. Depth maps can be generated from the set of multiple views. As it is...
AES
2007
Springer
13 years 10 months ago
2007
Springer
Whilst conventional approach in structural design is based on reliability-calibrated factored design formula, performance-based design customizes a solution to the specific circum...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract-- We consider code division multiple access communication over a binary input additive white Gaussian noise channel using random spreading. For a general class of symmetri...
GEOINFORMATICA
2006
13 years 10 months ago
2006
Existing estimation approaches for spatial databases often rely on the assumption that data distribution in a small region is uniform, which seldom holds in practice. Moreover, the...
ITA
2007
13 years 10 months ago
2007
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...