Sciweavers

2632 search results - page 104 / 527
» Predictive Representations of State
Sort
View
IPPS
2003
IEEE
14 years 3 months ago
Evolutionary Fault Recovery in a Virtex FPGA Using a Representation that Incorporates Routing
Most evolutionary approaches to fault recovery in FPGAs focus on evolving alternative logic configurations as opposed to evolving the intra-cell routing. Since the majority of tra...
Jason D. Lohn, Gregory V. Larchev, Ronald F. DeMar...
ECRTS
2002
IEEE
14 years 3 months ago
Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
Antoine Colin, Guillem Bernat
TACAS
2000
Springer
138views Algorithms» more  TACAS 2000»
14 years 1 months ago
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norma...
MCS
2010
Springer
14 years 1 days ago
A Multi-Classifier System for Off-Line Signature Verification Based on Dissimilarity Representation
Abstract. Although widely used to reduce error rates of difficult pattern recognition problems, multiple classifier systems are not in widespread use in off-line signature verifica...
Luana Batista, Eric Granger, Robert Sabourin
WSC
2004
13 years 11 months ago
Exploring the Constraints of Human Behavior Representation
Human behavior representation (HBR) is an elusive, yet critical goal for many in the simulation community. Requirement specifications related to HBR often exceed current capabilit...
John C. Giordano, Paul F. Reynolds Jr., David C. B...