2703 search results - page 235 / 541 » Working Class Hero |
158
click to vote
CVIU
2006
15 years 6 months ago
2006
In this paper, we present a new color image segmentation scheme based on unsupervised pixel classification that works even when there is not a one-to-one correspondence between th...
175
click to vote
ENGL
2006
15 years 6 months ago
2006
A direct adaptive neural network control system with and without integral action term is designed for the general class of continuous biological fermentation processes. The control...
341
click to vote
IJNSEC
2008
15 years 6 months ago
2008
Despite the importance of proofs in assuring protocol implementers about the security properties of key establishment protocols, many protocol designers fail to provide any proof ...
161
click to vote
IANDC
2006
15 years 6 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
157
click to vote
IJBC
2006
15 years 6 months ago
2006
This paper deals with the problem of finding upper bounds on the number of periodic solutions of a class of one-dimensional non-autonomous differential equations: those with the r...