8294 search results - page 1600 / 1659 » Presenting Data from Experiments in Algorithmics |
122
click to vote
IROS
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper we outline a grasp planning system designed to augment the cortical control of a prosthetic arm and hand. A key aspect of this task is the presence of on-line use...
170
Voted
AH
2008
Springer
15 years 9 months ago
2008
Springer
In order to navigate huge document collections efficiently, tagged hierarchical structures can be used. For users, it is important to correctly interpret tag combinations. In this ...
125
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
123
Voted
SIGIR
2006
ACM
15 years 8 months ago
2006
ACM
In today’s data-rich networked world, people express many aspects of their lives online. It is common to segregate different aspects in different places: you might write opinion...
113
click to vote
ICDCS
2005
IEEE
15 years 8 months ago
2005
IEEE
Streaming media objects have become widely used on the Internet, and the demand of interactive requests to these objects has increased dramatically. Typical interactive requests i...