Sciweavers

4841 search results - page 721 / 969
» On dynamic feature location
Sort
View
CAV
1997
Springer
202views Hardware» more  CAV 1997»
14 years 1 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
PLDI
1993
ACM
14 years 1 months ago
Guardians in a Generation-Based Garbage Collector
This paper describes a new language feature that allows dynamically allocated objects to be saved from deallocation by an automatic storage management system so that clean-up or o...
R. Kent Dybvig, Carl Bruggeman, David Eby
DIS
2007
Springer
14 years 1 months ago
Efficient Incremental Mining of Top-K Frequent Closed Itemsets
In this work we study the mining of top-K frequent closed itemsets, a recently proposed variant of the classical problem of mining frequent closed itemsets where the support thresh...
Andrea Pietracaprina, Fabio Vandin
COST
2009
Springer
205views Multimedia» more  COST 2009»
14 years 1 months ago
Ergodic HMM-UBM System for On-Line Signature Verification
Abstract. We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initializa...
Enrique Argones-Rúa, David Pérez-Pi&...
ASAP
2004
IEEE
185views Hardware» more  ASAP 2004»
14 years 1 months ago
Families of FPGA-Based Algorithms for Approximate String Matching
Dynamic programming for approximate string matching is a large family of different algorithms, which vary significantly in purpose, complexity, and hardware utilization. Many impl...
Tom Van Court, Martin C. Herbordt