8874 search results - page 151 / 1775 » A New Implementation of Automath |
137
click to vote
HAPTICS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we present the design of a new fMRI compatible haptic interface with 3DOFs, based on electrical DC actuation, for the study of brain mechanisms of human motor contr...
134
click to vote
CBMS
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose a new method for measuring the semantic similarity of genes based on path length between their annotation terms in the Gene Ontology. Our method applies an exponential ...
125
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Tor is a real-world, circuit-based low-latency anonymous communication network, supporting TCP applications on the Internet. In this paper, we present a new class of at...
118
click to vote
LCN
2008
IEEE
15 years 10 months ago
2008
IEEE
— Energy consumption has become a major factor in the total cost of ownership (TCO) of IT equipment. The power state of IT equipment is effectively “invisible” to the network...
124
Voted
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
A PAL-based logic block is the core of great majority of contemporary CPLD devices. The purpose of the paper is to present a new approach to multi-level synthesis for PAL-based CP...