1021 search results - page 143 / 205 » On the generalized Navier-Stokes equations |
206
click to vote
HASKELL
2009
ACM
16 years 21 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
166
click to vote
CDC
2008
IEEE
16 years 20 days ago
2008
IEEE
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
166
click to vote
TPHOL
2007
IEEE
16 years 14 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
184
click to vote
SSIAI
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces an active contour or snakebased method for tracking cells within a video sequence. Specifically, we apply our cell tracking techniques to rolling leukocytes ...
158
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
We explore the striking mathematical connections that exist between market scoring rules, cost function based prediction markets, and no-regret learning. We first show that any c...