Sciweavers

4616 search results - page 794 / 924
» Extreme Components Analysis
Sort
View
138
Voted
ICCAD
1993
IEEE
104views Hardware» more  ICCAD 1993»
15 years 7 months ago
Parallel timing simulation on a distributed memory multiprocessor
Circuit simulation is one of the most computationally expensive tasks in circuit design and optimization. Detailed simulation at the level of precision of SPICE is usually perform...
Chih-Po Wen, Katherine A. Yelick
HYBRID
1994
Springer
15 years 7 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 7 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
124
Voted
VL
1992
IEEE
163views Visual Languages» more  VL 1992»
15 years 7 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
159
Voted
AIHC
2007
Springer
15 years 7 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