Sciweavers

844 search results - page 59 / 169
» Safraless Decision Procedures
Sort
View
GLOBECOM
2009
IEEE
13 years 6 months ago
Dogfight in Spectrum: Jamming and Anti-Jamming in Multichannel Cognitive Radio Systems
Primary user emulation attack in multichannel cognitive radio systems is discussed. An attacker is assumed to be able to send primary-user-like signals during spectrum sensing peri...
Husheng Li, Zhu Han
JAR
2010
95views more  JAR 2010»
13 years 3 months ago
Equivariant Unification
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
James Cheney
RTAS
1998
IEEE
14 years 1 months ago
FARA - A Framework for Adaptive Resource Allocation in Complex Real-Time Systems
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
Daniela Rosu, Karsten Schwan, Sudhakar Yalamanchil...
IJCAI
1993
13 years 10 months ago
Rule-Based Regression
While decision trees have been used primarily for classification, they can also model regression or function approximation. Like classification trees, regression trees often yield...
Sholom M. Weiss, Nitin Indurkhya
ICIP
2008
IEEE
14 years 10 months ago
Statistical learning based intra prediction in H.264
In this paper, we improve the performance of intra prediction and simplify mode decision procedure at the same time. For these works, we apply a statistical learning method such a...
Cheolhong An, Truong Q. Nguyen