6846 search results - page 973 / 1370 » Developing an Active Observer |
175
click to vote
ITP
2010
15 years 10 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
187
Voted
ICA
2007
Springer
15 years 10 months ago
2007
Springer
Independent Component Analysis (ICA) is a statistical method for expressing an observed set of random vectors as a linear combination of statistically independent components. This...
177
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Common techniques tackling the task of classification in data mining employ ansatz functions associated to training data points to fit the data as well as possible. Instead, the fe...
191
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose an efficient algorithm for mining frequent approximate sequential patterns under the Hamming distance model. Our algorithm gains its efficiency by adopting a "brea...
142
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...