123 search results - page 14 / 25 » Interpolation in Valiant's theory |
81
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We give bit-size estimates for the coefficients appearing in triangular sets describing positive-dimensional algebraic sets defined over Q. These estimates are worst case upper bo...
ENVSOFT
2000
15 years 1 months ago
2000
Atmospheric flow and pollutant dispersion over built-up areas are affected by phenomena occurring at different scales. Hence, scale interactions should also be considered in the m...
128
click to vote
APLAS
2011
ACM
14 years 1 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
A requirement common to most dynamic vision applications is the ability to track objects in a sequence of frames. This problem has been extensively studied in the past few years, ...
101
click to vote
VISSYM
2007
15 years 4 months ago
2007
Vortex breakdown bubbles are a subject which is of interest in many disciplines such as aeronautics, mixing, and combustion. Existing visualization methods are based on stream sur...