1591 search results - page 293 / 319 » Random lifts of graphs |
141
Voted
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
142
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--This paper investigates the uniqueness of a nonnegative vector solution and the uniqueness of a positive semidefinite matrix solution to underdetermined linear systems. A...
150
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
158
Voted
ICIG
2009
IEEE
15 years 1 months ago
2009
IEEE
Optical flow estimation is one of the main subjects in computer vision. Many methods developed to compute the motion fields are built using standard heuristic formulation. In this...
158
Voted
IEEESCC
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper we look at combining and compressing a set of workflows, such that computation can be minimized. In this context, we look at two novel theoretical problems with appl...