2191 search results - page 201 / 439 » Evolutionary testing of classes |
128
Voted
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
132
click to vote
FBIT
2007
IEEE
15 years 10 months ago
2007
IEEE
Membrane proteins are an important class of proteins that serve as channels, receptors, and energy transducers in a cell membrane. Knowledge of a given type of cell membrane prote...
116
click to vote
ICIAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, a coarse-to-fine classification scheme is used to recognize facial expressions (angry, disgust, fear, happiness, neutral, sadness and surprise) of novel ex...
113
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Schema mappings define relationships between schemas in a declarative way. We demonstrate MVT, a mapping validation tool that allows the designer to ask whether the mapping has ce...
125
click to vote
EPEW
2008
Springer
15 years 6 months ago
2008
Springer
Markovian behavioral equivalences can be exploited for state space reduction before performance evaluation takes place. It is known that Markovian bisimilarity corresponds to ordin...