8828 search results - page 226 / 1766 » Formal methods in practice |
201
click to vote
FORMATS
2007
Springer
15 years 9 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
163
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
One of the most crucial tasks in a see-through augmented reality (AR) system is to register the virtual objects with the real world through a transparent display. The importance s...
150
click to vote
CAISE
1997
Springer
15 years 10 months ago
1997
Springer
Meta-CASE tools are used to generate CASE tools; KOGGE is such a meta-CASE system. Two of KOGGE's main objectives are adaptability and flexibility which address the growing ne...
140
click to vote
ISMB
1996
15 years 7 months ago
1996
A novel theory of subtractive hybridization including (or based on) the kinetic model of this process was proposed. A computer program modeling the process of subtraction wasdevel...
145
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We examine the use of a structured thresholding algorithm for sparse underwater channel estimation using compressed sensing. This method shows some improvements over standard algo...