1127 search results - page 83 / 226 » Theory Extension in ACL2(r) |
130
Voted
AOSE
2001
Springer
15 years 5 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
HICSS
2000
IEEE
15 years 5 months ago
2000
IEEE
The potential of Computer-Mediated Communication (CMC) to enable new forms of social interaction and foster democratisation of decision making has raised much interest but has bee...
102
Voted
VTS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper proposes a new method based on analytic signal theory for extracting both instantaneous and RMS sinusoidal jitter from PLL output signals. The method relies on the exte...
100
Voted
WINET
2002
15 years 13 days ago
2002
We present a game-theoretic treatment of distributed power control in CDMA wireless systems. We make use of the conceptual framework of noncooperative game theory to obtain a distr...
97
Voted
JGT
2010
14 years 11 months ago
2010
: Jacobson, Levin, and Scheinerman introduced the fractional Ramsey function rf (a1,a2, ...,ak) as an extension of the classical definition for Ramsey numbers. They determined an e...