1638 search results - page 303 / 328 » Properties of input-consuming derivations |
104
click to vote
ICFEM
2003
Springer
15 years 3 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
DASFAA
2010
IEEE
15 years 3 months ago
2010
IEEE
Given a set of query points, a dynamic skyline query reports all data points that are not dominated by other data points according to the distances between data points and query po...
ITNG
2010
IEEE
15 years 2 months ago
2010
IEEE
—In a user-centric service creation process, users should drive the service creation, in which services can be composed out of existing services. However, the creation is expecte...
SSDBM
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a technique for organizing data in spatial databases with non-convex domains based on an automatic characterization using the medial-axis transform (MAT). We define a t...
115
click to vote
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
We present motion planning for dexterous manipulation by whole arm grasp system based on switching contact modes. Motion planning for such a system should consider changing dynami...