1542 search results - page 213 / 309 » The metamathematics of random graphs |
116
click to vote
SPIN
2010
Springer
15 years 3 days 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...
124
Voted
CORR
2010
Springer
15 years 1 days 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...
128
click to vote
QEST
2010
IEEE
14 years 11 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...
135
click to vote
ICIG
2009
IEEE
14 years 11 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...
140
click to vote
IEEESCC
2009
IEEE
14 years 11 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...