Sciweavers

3972 search results - page 358 / 795
» Palpability Support Demonstrated
Sort
View
AR
2007
204views more  AR 2007»
15 years 4 months ago
Action recognition and understanding through motor primitives
In robotics, recognition of human activity has been used extensively for robot task learning through imitation and demonstration. However, there has not been much work on modeling...
Isabel Serrano Vicente, Ville Kyrki, Danica Kragic...
CONCURRENCY
2010
114views more  CONCURRENCY 2010»
15 years 4 months ago
A step towards refining and translating B control annotations to Handel-C
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
Wilson Ifill, Steve A. Schneider
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 4 months ago
Evaluation of Query Generators for Entity Search Engines
Dynamic web applications such as mashups need efficient access to web data that is only accessible via entity search engines (e.g. product or publication search engines). However,...
Stefan Endrullis, Andreas Thor, Erhard Rahm
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 4 months ago
Specifying Reusable Components
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
CONCURRENCY
2008
123views more  CONCURRENCY 2008»
15 years 4 months ago
Payment and negotiation for the next generation Grid and Web
We present a proposal for a next-generation Internet based on chargeable Web Services and Utility Computing realised by a series of open but interacting markets. We demonstrate thr...
Jeremy Cohen, John Darlington, William Lee