1192 search results - page 203 / 239 » Symbolic Query Exploration |
ICDIM
2007
IEEE
15 years 8 months ago
2007
IEEE
In recent years, efforts have begun to put math contents on the Web. As for other types of Web information, search capabilities should be provided to enable users to find what the...
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— In this paper, we propose a new method for the motion planning problem of rigid object dexterous manipulation with a robotic multi-fingered hand, under quasi-static movement a...
IV
2006
IEEE
15 years 7 months ago
2006
IEEE
Brushing is a collection of techniques to dynamically query and directly select elements on the visual display. Such interaction allows the user to explore the visualization, to i...
122
click to vote
KBSE
2006
IEEE
15 years 7 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
105
click to vote
MM
2006
ACM
15 years 7 months ago
2006
ACM
This paper describes a digital theater installation called Buzz. Buzz consists of virtual actors who express the collective voice generated by weblogs (blogs). These actors find ...