36781 search results - page 7257 / 7357 » Parameterizing by the Number of Numbers |
196
click to vote
JOC
2011
15 years 1 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
171
click to vote
JOI
2011
15 years 1 months ago
2011
The popular h-index used to measure scientific output can be described in terms of a pool of evaluated objects (the papers), a quality function on the evaluated objects (the numb...
171
click to vote
JSAC
2011
15 years 1 months ago
2011
—Due to the potential of enhancing traffic safety, protecting environment, and enabling new applications, vehicular communications, especially vehicle-to-vehicle (V2V) communica...
195
click to vote
JSAC
2011
15 years 1 months ago
2011
This paper investigates the issue of dynamic resource allocation (DRA) in the context of multiuser cognitive radio networks. We present a general framework adopting generalized si...
172
Voted
KAIS
2011
15 years 1 months ago
2011
Abstract. Hunter and Konieczny explored the relationships between measures of inconsistency for a belief base and the minimal inconsistent subsets of that belief base in several of...