Sciweavers

5131 search results - page 897 / 1027
» Heterogeneous Component Analysis
Sort
View
HYBRID
1994
Springer
15 years 3 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
KDD
1994
ACM
113views Data Mining» more  KDD 1994»
15 years 3 months ago
Exploration of Simulation Experiments by Discovery
: Weexemplify in this paper, howa discovery system is applied to the analysis of simulation experimentsin practical political planning, andshowwhatkind of newknowledgecan be discov...
Willi Klösgen
VL
1992
IEEE
163views Visual Languages» more  VL 1992»
15 years 3 months ago
The Conversion of Diagrams to Knowledge Bases
If future electronic documents are to be truly useful, we must devise ways to automatically turn them into knowledgebases. In particular, we must be able to do this for diagrams. ...
Robert P. Futrelle
AIHC
2007
Springer
15 years 3 months ago
Foundations of Human Computing: Facial Expression and Emotion
Many people believe that emotions and subjective feelings are one and the same and that a goal of human-centered computing is emotion recognition. The first belief is outdated; the...
Jeffrey F. Cohn
BIBE
2007
IEEE
159views Bioinformatics» more  BIBE 2007»
15 years 3 months ago
Non-negative Tensor Factorization Based on Alternating Large-scale Non-negativity-constrained Least Squares
Non-negative matrix factorization (NMF) and non-negative tensor factorization (NTF) have attracted much attention and have been successfully applied to numerous data analysis probl...
Hyunsoo Kim, Haesun Park, Lars Eldén