3707 search results - page 97 / 742 » A Simple Technique for Self-Calibration |
CAV
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
ECML
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Consider the online regression problem where the dependence of the outcome yt on the signal xt changes with time. Standard regression techniques, like Ridge Regression, d...
PCM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. As the amount of digitalized contents increases rapidly, ‘security’ necessarily arises as one of the most important issues. The main distribution channel of digital c...
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes the application of genetic programming to synthesize a small form factor, 2 dimensional wire antenna for a 5.2 GHz 802.11a wireless LAN application. Utilizing ...
VL
2000
IEEE
15 years 2 months ago
2000
IEEE
The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...