5550 search results - page 232 / 1110 » Different Approaches to Proof Systems |
188
click to vote
FORTE
2009
15 years 4 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
167
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Regeneration of biometric templates from match scores has security and privacy implications related to any biometric based authentication system. In this paper, we propose a novel...
209
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
185
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we present a model which allows to co-evolve the morphology and the control system of realistically simulated robots (creatures). The method proposed is based on a...
188
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Large-scale genomic studies often identify large gene lists, for example, the genes sharing the same expression patterns. The interpretation of these gene lists is gen...