4117 search results - page 697 / 824 » On the Satisfiability of Complex Constraints |
169
click to vote
ICRA
2008
IEEE
16 years 20 days ago
2008
IEEE
Abstract— Teams of mobile robots have been recently proposed as effective means of completing complex missions involving multiple tasks spatially distributed over a large area. A...
158
click to vote
IROS
2008
IEEE
16 years 19 days ago
2008
IEEE
Abstract— Kinodynamic planning algorithms have the potential to find feasible control trajectories which accomplish a task even in very nonlinear or constrained dynamical system...
155
click to vote
RTSS
2008
IEEE
16 years 18 days ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...
167
click to vote
SMI
2008
IEEE
16 years 18 days ago
2008
IEEE
Following the definition of developable surface in differential geometry, the flattenable mesh surface, a special type of piecewiselinear surface, inherits the good property of ...
187
click to vote
TASE
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...