4609 search results - page 42 / 922 » Automatic Generation of Sigma-Protocols |
141
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Fault-based testing is often advocated to overcome limitations of other testing approaches; however it is also recognized as being expensive. On the other hand, evolutionary algor...
142
click to vote
AI
2010
Springer
15 years 5 months ago
2010
Springer
Today's computer-human interfaces are typically designed with the assumption that they are going to be used by an able-bodied person, who is using a typical set of input and ...
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a method for automatically generating diagnostic programs for mixed-signal load boards. This procedure employs a statistical method of computing Mahalanobis D...
145
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
Previous researchers have suggested the use of “lighthouses” to act as guides in directed state space search. The drawback of using lighthouses is that the user has to manuall...
166
click to vote
ARC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we present a framework for the automatic identification and selection of convex MIMO instruction-set extensions for reconfigurable architecture. The framewo...