Sciweavers

3128 search results - page 143 / 626
» Finite element method
Sort
View
129
Voted
KDD
2004
ACM
285views Data Mining» more  KDD 2004»
15 years 9 months ago
Effective localized regression for damage detection in large complex mechanical structures
In this paper, we propose a novel data mining technique for the efficient damage detection within the large-scale complex mechanical structures. Every mechanical structure is defi...
Aleksandar Lazarevic, Ramdev Kanapady, Chandrika K...
ICFCA
2009
Springer
15 years 10 months ago
Exploring Finite Models in the Description Logic
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
Franz Baader, Felix Distel
DAC
1996
ACM
15 years 7 months ago
A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines
Abstract-- This paper proposes a state reduction algorithm for incompletely specified FSMs. The algorithm is based on iterative improvements. When the number of compatibles is like...
Hiroyuki Higuchi, Yusuke Matsunaga
120
Voted
VLSID
1997
IEEE
98views VLSI» more  VLSID 1997»
15 years 7 months ago
Synthesis for Logical Initializability of Synchronous Finite State Machines
—Logical initializability is the property of a gate-level circuit whereby it can be driven to a unique start state when simulated by a three-valued (0, 1, ) simulator. In practic...
Montek Singh, Steven M. Nowick
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 3 months ago
Executable Set Theory and Arithmetic Encodings in Prolog
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
Paul Tarau