34 search results - page 3 / 7 » tase 2008 |
81
Voted
TASE
2008
IEEE
14 years 11 months ago
2008
IEEE
Abstract--We describe a vibratory part transport mechanism that utilizes both static and dynamic friction to linearly transport parts in a horizontal direction. We derive a horizon...
TASE
2008
IEEE
14 years 11 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
DM
2008
14 years 11 months ago
2008
One proves that certain numbers occurring in a problem of paths enumeration, studied by Niederhausen in [7] (see also [10]), are top intersection numbers in the cohomology ring of...
111
click to vote
TASE
2008
IEEE
14 years 11 months ago
2008
IEEE
We address the sensor selection problem which arises in tracking and localization applications. In sensor selection, the goal is to select a small number of sensors whose measureme...
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...