1743 search results - page 111 / 349 » Generalized Modal Satisfiability |
105
click to vote
ISCC
2000
IEEE
15 years 5 months ago
2000
IEEE
Flexible and distributed management systems based on mobile agents have certain advantages over centralized and static management architectures. However, security plays a decisive...
ICRA
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper obtains feedback stabilization of an inverted pendulum on a rotor arm by the "method of controlled Lagrangians". This approach involves modifying the Lagrangi...
90
Voted
ICRA
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes the objectives of this project, which are to design artificial limbs that are lightweight, compact and dexterous, that mimic human anatomy and maintain a high...
108
Voted
COMPGEOM
1996
ACM
15 years 5 months ago
1996
ACM
We show that any simply connected (but not necessarily convex) polyhedron with an even number of quadrilateral sides can be partitioned into O(n) topological cubes, meeting face t...
121
click to vote
AAIM
2007
Springer
15 years 4 months ago
2007
Springer
Given an acyclic directed graph and two distinct nodes s and t, we consider the problem of finding k disjoint paths from s to t satisfying some objective. We consider four objectiv...