Sciweavers

8030 search results - page 1550 / 1606
» User Interface Softbots
Sort
View
BTW
2007
Springer
245views Database» more  BTW 2007»
15 years 4 months ago
From Personal Desktops to Personal Dataspaces: A Report on Building the iMeMex Personal Dataspace Management System
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...
Jens-Peter Dittrich, Lukas Blunschi, Markus Fä...
ICSE
2007
IEEE-ACM
15 years 4 months ago
ACL2s: "The ACL2 Sedan"
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
Peter C. Dillinger, Panagiotis Manolios, Daron Vro...
ASSETS
2006
ACM
15 years 4 months ago
VoxBoox: : a system for automatic generation of interactive talking books
The VoxBoox system makes digital books accessible to visually impaired individuals via audio and voice. It automatically translates a book published in HTML to VoiceXML, and then ...
Aanchal Jain, Gopal Gupta
CADUI
2006
14 years 11 months ago
GestAction3D: A Platform For Studying Displacements And Deformations Of 3D Objects Using Hands
We present a low-cost hand-based device coupled with a 3D motion recovery engine and 3D visualization. This platform aims at studying ergonomic 3D interactions in order to manipula...
Diane Lingrand, Philippe Renevier, Anne-Marie Pinn...
BMCBI
2010
137views more  BMCBI 2010»
14 years 10 months ago
TassDB2 - A comprehensive database of subtle alternative splicing events
Background: Subtle alternative splicing events involving tandem splice sites separated by a short (2-12 nucleotides) distance are frequent and evolutionarily widespread in eukaryo...
Rileen Sinha, Thorsten Lenser, Niels Jahn, Ulrike ...
« Prev « First page 1550 / 1606 Last » Next »