12774 search results - page 2264 / 2555 » A Framework for Proof Systems |
186
click to vote
HAPTICS
2003
IEEE
16 years 1 days ago
2003
IEEE
Haptic interfaces enable us to interact with virtual objects by sensing our actions and communicating them to a virtual environment. A haptic interface with force feedback capabil...
168
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
The eXtensible Markup Language (XML) is regarded generally as having promise of becoming established as the general purpose framework for enabling transfer of data amongst heterog...
176
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
The effective management of knowledge is critical for organizations that are striving to gain or maintain a competitive advantage and that are in the process of re-structuring for...
158
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
While much research has shown that ALNs can produce learning equivalent to FTF classrooms, there has been little empirical research that explicitly and rigorously explores similar...
156
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
We have used comparative genome analyses to produce annotated maps for large genomic loci. The first example is a locus on mouse chromosome 9 that is syntenic to human chromosome ...