3994 search results - page 375 / 799 » A Linear Logical Framework |
185
click to vote
ICRA
2003
IEEE
16 years 3 days ago
2003
IEEE
— Rigid body dynamics with contact constraints can be solved locally using linear complementarity techniques. However, these techniques do not impose the original constraints and...
156
click to vote
AIPS
2008
15 years 9 months ago
2008
Within the framework of continuous and multiresources cumulative constraints, a task T expresses a piecewise linear resource function and is represented by a sequence of p contigu...
181
click to vote
FLOPS
2010
Springer
15 years 5 months ago
2010
Springer
Injectivity is one of the important properties for functions while it is undecidable in general and decidable for linear treeless functions. In this paper, we show new sufficient c...
187
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
We study the optimal control of propagation of packets in delay tolerant mobile ad-hoc networks. We consider a two-hop forwarding policy under which the expected number of nodes ca...
204
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- This paper deals with the problems of decentralized implementability and decentralized regular implementability in the context of finite-dimensional linear differential ...