1589 search results - page 240 / 318 » Constraints with Variables' Annotations |
MOC
2000
13 years 9 months ago
2000
A new formulation, a gauge formulation of the incompressible Navier-Stokes equations in terms of an auxiliary field a and a gauge variable , u = a + , was proposed recently by E an...
AI
1999
Springer
13 years 9 months ago
1999
Springer
Bucket elimination is an algorithmic framework that generalizes dynamic programming to accommodate many problem-solving and reasoning tasks. Algorithms such as directional-resolut...
JCSS
2002
13 years 9 months ago
2002
A database programming language is a programming language extended with database operations. In this paper we extend a core functional language with explicitly labeled tuples and ...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
—The traditional formulation of the total value of information transfer is a multi-commodity flow problem. Here, each data source is seen as generating a commodity along a fixe...
PSD
2010
Springer
13 years 8 months ago
2010
Springer
Minimum-distance controlled tabular adjustment methods (CTA), and its restricted variants (RCTA), is a recent perturbative approach for tabular data protection. Given a table to be...