Sciweavers

4270 search results - page 226 / 854
» A Permutation Approach to Validation
Sort
View
AUTOMATICA
2004
94views more  AUTOMATICA 2004»
15 years 6 months ago
Optimal control of sampled-data piecewise affine systems
This paper addresses the optimal control problem of the continuous-time piecewise affine (PWA) systems with autonomous switching executed at each sampling time, which we call sampl...
Jun-ichi Imura
JCSS
2010
102views more  JCSS 2010»
15 years 5 months ago
Matching and alpha-equivalence check for nominal terms
Nominal techniques were introduced to represent in a simple and natural way that involve binders. The syntax includes an abstraction operator and a primitive notion of name swappin...
Christophe Calvès, Maribel Fernández
IJWGS
2010
116views more  IJWGS 2010»
15 years 3 months ago
Constructing Feature Vectors for search: investigating intrinsic quality impact on search performance
Abstract: In this paper, we revisit our approach to construction of semanticlinguistic Feature Vectors (FVs) used to enhance Web search. These FVs are built based on domain semanti...
Stein L. Tomassen, Darijus Strasunskas
ICCV
2005
IEEE
16 years 8 months ago
Detecting Irregularities in Images and in Video
We address the problem of detecting irregularities in visual data, e.g., detecting suspicious behaviors in video sequences, or identifying salient patterns in images. The term &qu...
Oren Boiman, Michal Irani
DATE
2007
IEEE
145views Hardware» more  DATE 2007»
16 years 26 days ago
Using an innovative SoC-level FMEA methodology to design in compliance with IEC61508
This paper proposes an innovative methodology to perform and validate a Failure Mode and Effects Analysis (FMEA) at System-on-Chip (SoC) level. This is done in compliance with the...
Riccardo Mariani, Gabriele Boschi, Federico Colucc...