Sciweavers

7554 search results - page 986 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
DATE
2007
IEEE
138views Hardware» more  DATE 2007»
16 years 1 months ago
An ADC-BiST scheme using sequential code analysis
This paper presents a built-in self-test (BiST) scheme for analog to digital converters (ADC) based on a linear ramp generator and efficient output analysis. The proposed analysi...
Erdem Serkan Erdogan, Sule Ozev
ICDAR
2007
IEEE
16 years 1 months ago
Skeletonization by Gradient Regularization and Diffusion
This paper describes a skeletonization process for grayscale or color images based on the diffusion of the color gradient vectors by using a simple iterative regularization scheme...
Frank Lebourgeois, Hubert Emptoz
CAISE
2005
Springer
16 years 17 days ago
Computing the Relevant Instances That May Violate an OCL Constraint
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way...
Jordi Cabot, Ernest Teniente
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
15 years 11 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
WCE
2008
15 years 8 months ago
Design and Implementation of an E-Learning Model by Considering Learner's Personality and Emotions
Abstract Emotion, personality and individual differences are those effective parameters on human's activities such as learning. People with different personalities show differ...
Somayeh Fatahi, M. Kazemifard, Nasser Ghasem-Aghae...