6884 search results - page 1163 / 1377 » The macro-structure of use of help |
155
click to vote
CIVR
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present a novel video search interface based on the concept of aspect browsing. The proposed strategy is to assist the user in exploratory video search by active...
195
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
We consider the problem of a user querying semistructured data such as RDF without knowing its structure. In these circumstances, it is helpful if the querying system can perform a...
147
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
With the increasing storage capacity of personal computing devices, the problems of information overload and information fragmentation become apparent on users’ desktops. For the...
211
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
162
click to vote
ICIRA
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel approach to mobile object manipulation for service in indoor environments. Current research in service robotics focus on single robots able to move, manipulate o...