3233 search results - page 104 / 647 » Validation Method for Intelligent Systems |
166
click to vote
CEC
2010
IEEE
14 years 10 months ago
2010
IEEE
High-throughput analytical techniques such as nuclear magnetic resonance, protein kinase phosphorylation, and mass spectroscopic methods generate time dense profiles of metabolites...
114
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
107
click to vote
FLAIRS
2008
15 years 5 months ago
2008
This paper presents proposals of certain extensions to the XTT knowledge representation model, a method of tabular specification for rule-based systems. The extensions concern
145
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Lyapunov methods and density functions provide dual characterizations of the solutions of a nonlinear dynamic system. This work exploits the idea of combining both techniques, ...
131
Voted
KI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we present a novel general framework for encoding and evolving networks called Common Genetic Encoding (CGE) that can be applied to both direct and indirect...