472 search results - page 44 / 95 » Limiting Negations in Formulas |
102
click to vote
ICMCS
2010
IEEE
15 years 4 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...
103
click to vote
AES
2007
Springer
15 years 3 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...
109
click to vote
CORR
2008
Springer
15 years 3 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...
108
click to vote
GEOINFORMATICA
2006
15 years 3 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...
124
click to vote
ITA
2007
15 years 2 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...