6800 search results - page 534 / 1360 » Testing with Functions as Specifications |
210
click to vote
HAPTICS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present a new portable force feedback device for surgery simulations. Dielectric elastomer spring roll linear actuators for this device were manufactured, and ch...
196
click to vote
ASYNC
2005
IEEE
16 years 1 months ago
2005
IEEE
A Globally Asynchronous - Locally Synchronous (GALS) technique for application in wireless communication systems is proposed and evaluated. The GALS wrappers are based on a reques...
169
click to vote
MSE
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper describes the authors experience with teaching VHDL (and more recently, Verilog) to undergraduate and graduate students at WPI and to engineers through various short co...
184
click to vote
QSIC
2005
IEEE
16 years 1 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
174
click to vote
WACV
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we describe a novel method for gait based identity verification based on Bayesian classification. The verification task is reduced to a two class problem (Client or ...