Sciweavers

6884 search results - page 1163 / 1377
» The macro-structure of use of help
Sort
View
CIVR
2009
Springer
131views Image Analysis» more  CIVR 2009»
16 years 1 months ago
Supporting aspect-based video browsing: analysis of a user study
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...
Thierry Urruty, Frank Hopfgartner, David Hannah, D...
ESWS
2009
Springer
16 years 1 months ago
Ranking Approximate Answers to Semantic Web Queries
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...
Carlos A. Hurtado, Alexandra Poulovassilis, Peter ...
ESWS
2009
Springer
16 years 1 months ago
The Sile Model - A Semantic File System Infrastructure for the Desktop
With the increasing storage capacity of personal computing devices, the problems of information overload and information fragmentation become apparent on users’ desktops. For the...
Bernhard Schandl, Bernhard Haslhofer
FM
2009
Springer
110views Formal Methods» more  FM 2009»
16 years 1 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
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...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
ICIRA
2009
Springer
134views Robotics» more  ICIRA 2009»
16 years 1 months ago
The Hand-Bot, a Robot Design for Simultaneous Climbing and Manipulation
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...
Michael Bonani, Stéphane Magnenat, Philippe...
« Prev « First page 1163 / 1377 Last » Next »