1559 search results - page 224 / 312 » The Semantics of Future and Its Use in Program Optimizations |
145
click to vote
ACCV
2009
Springer
16 years 17 days ago
2009
Springer
In this paper, we propose a convex optimization based approach for piecewise planar reconstruction. We show that the task of reconstructing a piecewise planar environment can be se...
136
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses a new framework for designing and implementing skeleton libraries, in which each skeleton should not only be efficiently implemented as is usually d...
187
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomi...
223
click to vote
BMCBI
2010
15 years 29 days ago
2010
Background: Digital atlases provide a common semantic and spatial coordinate system that can be leveraged to compare, contrast, and correlate data from disparate sources. As the q...
151
click to vote
ICTAI
2008
IEEE
16 years 11 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...