Sciweavers

3706 search results - page 151 / 742
» System Description: E-KRHyper
Sort
View
IJCAI
1989
13 years 10 months ago
Building Robust Learning Systems by Combining Induction and Optimization
Each concept description language and search strategy has an inherent inductive bias, a preference for some hypotheses over others. No single inductive bias performs optimally on ...
David K. Tcheng, Bruce L. Lambert, Stephen C. Y. L...
AUTOMATICA
2008
76views more  AUTOMATICA 2008»
13 years 9 months ago
Structured semidefinite programs for the control of symmetric systems
In this paper we show how the symmetry present in many linear systems can be exploited to significantly reduce the computational effort required for controller synthesis. This app...
Randy Cogill, Sanjay Lall, Pablo A. Parrilo
ENTCS
2008
84views more  ENTCS 2008»
13 years 9 months ago
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...
Bart Jacobs
ECEASST
2006
72views more  ECEASST 2006»
13 years 9 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...
KES
2006
Springer
13 years 9 months ago
Mathematical Formulation of a Type of Hierarchical Neurofuzzy System
Abstract. This paper presents a class of hierarchical fuzzy system applied to a cigar classification system. The weight, texture and chromatic characteristics are used to classify ...
Omar Sánchez, Sixto Romero, Francisco J. Mo...