2272 search results - page 163 / 455 » Validity Invariants and Effects |
PEPM
2007
ACM
14 years 4 months ago
2007
ACM
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper we investigate the error probability for OFDM with carrier frequency offset (CFO) in additive white Gaussian noise (AWGN) and Rayleigh fading channels. The statis...
ICDM
2006
IEEE
14 years 4 months ago
2006
IEEE
Choosing an appropriate kernel is one of the key problems in kernel-based methods. Most existing kernel selection methods require that the class labels of the training examples ar...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...