Sciweavers

709 search results - page 36 / 142
» In-stroke word completion
Sort
View
DATE
2002
IEEE
96views Hardware» more  DATE 2002»
15 years 4 months ago
Modeling Techniques and Tests for Partial Faults in Memory Devices
: It has always been assumed that fault models in memories are sufficiently precise for specifying the faulty behavior. This means that, given a fault model, it should be possible...
Zaid Al-Ars, A. J. van de Goor
AI
2010
Springer
14 years 12 months ago
AllDifferent-based filtering for subgraph isomorphism
The subgraph isomorphism problem involves deciding if there exists a copy of a pattern graph in a target graph. This problem may be solved by a complete tree search combined with ...
Christine Solnon
AI
2008
Springer
14 years 12 months ago
The measurement of ranks and the laws of iterated contraction
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking f...
Matthias Hild, Wolfgang Spohn
AUTOMATICA
2007
113views more  AUTOMATICA 2007»
14 years 12 months ago
Asymptotic rejection of unknown sinusoidal disturbances in nonlinear systems
This paper deals with global disturbance rejection of nonlinear systems. The disturbance is assumed to be sinusoidal with completely unknown phases, amplitude, and frequencies, bu...
Zhengtao Ding
ENTCS
2006
124views more  ENTCS 2006»
14 years 12 months ago
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...
Igor B. Bourdonov, Alexander Kossatchev, Victor V....