615 search results - page 81 / 123 » Completeness of Combinations of Constructor Systems |
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper we study a variation of the Dynamic Traveling Repairperson Problem (DTRP) in which there are two classes of demands; high priority, and low priority. In the probl...
CSMR
2008
IEEE
14 years 2 months ago
2008
IEEE
Legacy systems are often large and difficult to maintain, but rewriting them from scratch is usually not a viable option. Reenginering remains the only way to modernize them. We ...
HAPTICS
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we describe a system that combines human input and automatic grasp planning for controlling an artificial hand, with applications in the area of hand neuroprosthetic...
ICCCN
2008
IEEE
14 years 2 months ago
2008
IEEE
– In this paper we present a distributed, self-organizing, localization method for wireless sensors and a scheme for reducing position estimate errors by employing a novel concep...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...