5255 search results - page 684 / 1051 » Formal Methods for Privacy |
154
click to vote
FMCAD
2004
Springer
16 years 5 days ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
187
click to vote
ISER
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
168
click to vote
ISMIR
2004
Springer
16 years 5 days ago
2004
Springer
We describe an efficient learning algorithm for aligning a symbolic representation of a musical piece with its acoustic counterpart. Our method employs a supervised learning appr...
232
click to vote
CBSQ
2003
Springer
16 years 1 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
165
Voted
MCS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The computational genome-wide annotation of gene functions requires the prediction of hierarchically structured functional classes and can be formalized as a multiclass, ...