Sciweavers

1341 search results - page 142 / 269
» Periods in Extensions of Words
Sort
View
98
Voted
DDECS
2006
IEEE
79views Hardware» more  DDECS 2006»
15 years 6 months ago
Multiple-Vector Column-Matching BIST Design Method
- Extension of a BIST design algorithm is proposed in this paper. The method is based on a synthesis of a combinational block - the decoder, transforming pseudo-random code words i...
Petr Fiser, Hana Kubatova
ENC
2005
IEEE
15 years 6 months ago
Inferring acceptable arguments with Answer Set Programming
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieve...
103
Voted
AE
2005
Springer
15 years 6 months ago
Memetic Algorithms for the MinLA Problem
This paper presents a new Memetic Algorithm designed to compute near optimal solutions for the MinLA problem. It incorporates a highly specialized crossover operator, a fast MinLA ...
Eduardo Rodriguez-Tello, Jin-Kao Hao, Jose Torres-...
100
Voted
CAV
2005
Springer
144views Hardware» more  CAV 2005»
15 years 6 months ago
Romeo: A Tool for Analyzing Time Petri Nets
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
Guillaume Gardey, Didier Lime, Morgan Magnin, Oliv...
96
Voted
ICCHP
2004
Springer
15 years 6 months ago
Progress in Automated Computer Recognition of Sign Language
Abstract. This paper reviews the extensive state of the art in automated recognition of continuous signs, from different languages, based on the data sets used, features computed, ...
Barbara L. Loeding, Sudeep Sarkar, Ayush Parashar,...