1641 search results - page 192 / 329 » Experiences using a hands-free interface |
118
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
127
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
131
click to vote
ISWC
1999
IEEE
15 years 9 months ago
1999
IEEE
We describe an experimental wearable augmented reality system that enables users to experience hypermedia presentations that are integrated with the actual outdoor locations to wh...
122
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
154
click to vote
BIOCOMP
2008
15 years 6 months ago
2008
- Integrating information about protein sequence and structure allows further exploration and establishment of protein sequence-structure-function relations. However, protein data ...