860 search results - page 33 / 172 » Podcasting made simple |
FASE
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
ICASSP
2009
IEEE
14 years 5 months ago
2009
IEEE
Recent technological advances have made possible a number of new applications in the area of 3D video. One of the enabling technologies for many of these 3D applications is multiv...
ICASSP
2009
IEEE
14 years 5 months ago
2009
IEEE
While spoken term detection (STD) systems based on word indices provide good accuracy, there are several practical applications where it is infeasible or too costly to employ an L...
WSOM
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We apply a recent formalization of visualization as information retrieval to linear projections. We introduce a method that optimizes a linear projection for an informati...
FM
2009
Springer
14 years 5 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...