4609 search results - page 368 / 922 » Automatic Generation of Sigma-Protocols |
153
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper presents a new technique for automatically creating analog circuit models. The method extracts - from trained neural networks - piecewise linear models expressing the l...
141
click to vote
PTS
2004
15 years 8 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
165
click to vote
SPIESR
2004
15 years 8 months ago
2004
The production of closed captions is an important but expensive process in video broadcasting. We propose a method to generate highly accurate off-line captions efficiently. Our s...
167
click to vote
PLDI
2005
ACM
16 years 9 days ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
134
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
We envision a future where each person will carry with them a personal universal controller (PUC), a portable computerized device that allows the user to control any appliance wit...