953 search results - page 116 / 191 » Constraint Based Transformation Theory |
124
click to vote
ECCC
2010
15 years 3 months ago
2010
The IP theorem, which asserts that IP = PSPACE (Lund et. al., and Shamir, in J. ACM 39(4)), is one of the major achievements of complexity theory. The known proofs of the theorem ...
133
click to vote
AUTOMATICA
2005
15 years 3 months ago
2005
Based on a recent duality theory for linear differential inclusions (LDIs), the condition for stability of an LDI in terms of one Lyapunov function can be easily derived from that...
126
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— This paper presents a novel approach based on Jacobi shape theory and geometric reduction for formation control of autonomous underwater vehicles (AUVs). We consider a three de...
129
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
145
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
Camera assignment and hand-off are some of the key image processing problems in a video network. In this paper, we propose a new approach for camera assignment and handoff in a vi...