709 search results - page 31 / 142 » An Equational Theory for Transactions |
129
click to vote
MOC
1998
15 years 5 months ago
1998
Consider the system of Diophantine equations x2 − ay2 = b, P (x, y) = z2, where P is a given integer polynomial. Historically, such systems have been analyzed by using Baker’s ...
141
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper explores how shape, motion, and lighting interact in the case of a two-frame motion sequence. We consider a rigid object with Lambertian reflectance properties undergoi...
162
click to vote
ICCV
2007
IEEE
16 years 15 days ago
2007
IEEE
The image of a curved, specular (mirror-like) surface is a distorted reflection of the environment. The goal of our work is to develop a framework for recovering general shape fr...
169
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...
162
click to vote
ISCI
2008
15 years 6 months ago
2008
This paper describes an evolutionary method for identifying a causal model from the observed time series data. We use a system of ordinary differential equations (ODEs) as the cau...