Sciweavers

1415 search results - page 66 / 283
» List making in the home
Sort
View
ISER
1997
Springer
95views Robotics» more  ISER 1997»
15 years 10 months ago
FREEDOM-7: A High Fidelity Seven Axis Haptic Device with Application to Surgical Training
: A seven axis haptic device, called the Freedom-7, is described in relation to its application to surgical training. The generality of its concept makes it also relevant to most o...
Vincent Hayward, P. Gregorio, Oliver R. Astley, St...
SIGIR
2010
ACM
15 years 10 months ago
Blog snippets: a comments-biased approach
In the last years Blog Search has been a new exciting task in Information Retrieval. The presence of user generated information with valuable opinions makes this field of huge in...
Javier Parapar, Jorge López-Castro, Alvaro ...
HOTOS
2007
IEEE
15 years 10 months ago
Auditing to Keep Online Storage Services Honest
A growing number of online service providers offer to store customers' photos, email, file system backups, and other digital assets. Currently, customers cannot make informed...
Mehul A. Shah, Mary Baker, Jeffrey C. Mogul, Ram S...
AMAST
2008
Springer
15 years 8 months ago
Verification of Java Programs with Generics
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
Kurt Stenzel, Holger Grandy, Wolfgang Reif
DATESO
2006
148views Database» more  DATESO 2006»
15 years 7 months ago
Conceptual Modeling for XML: A Survey
Recently XML is the standard format used for the exchange of data between information systems and is also frequently applied as a logical database model. If we use XML as a logical...
Martin Necasky