436 search results - page 58 / 88 » Decomposing constraint systems: equivalences and computation... |
ATVA
2009
Springer
14 years 3 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
TCIAIG
2010
13 years 3 months ago
2010
Procedural terrain generation is used to create landforms for applications such as computer games and flight simulators. While most of the existing work has concentrated on algori...
CIE
2006
Springer
14 years 13 days ago
2006
Springer
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
DIS
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we describe BR-4, a computational model of scienti c discovery in particle physics. The system incorporates operators for determining quantum values of known particle...
PAMI
2002
13 years 8 months ago
2002
Decomposing video frames into coherent two-dimensional motion layers is a powerful method for representing videos. Such a representation provides an intermediate description that e...