Sciweavers

379 search results - page 37 / 76
» New directions for the AAFID architecture
Sort
View
INFOCOM
2009
IEEE
15 years 4 months ago
Cooperative Relay for Cognitive Radio Networks
—Cognitive radio has been proposed in recent years to promote the spectrum utilization by exploiting the existence of spectrum holes. The heterogeneity of both spectrum availabil...
Juncheng Jia, J. Jun Jun Zhang, Qian Zhang
IEEEICCI
2007
IEEE
15 years 4 months ago
An Image Association Model of the Brodmann Areas
The ability to associate images is the basis for learning relationships involving vision, hearing, tactile sensation, and kinetic motion. A new architecture is described that has ...
Douglas S. Greer
CAV
2007
Springer
116views Hardware» more  CAV 2007»
15 years 4 months ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill
DAC
2004
ACM
15 years 3 months ago
Parametric yield estimation considering leakage variability
Leakage current has become a stringent constraint in today’s processor designs in addition to traditional constraints on frequency. Since leakage current exhibits a strong inver...
Rajeev R. Rao, Anirudh Devgan, David Blaauw, Denni...
ECAI
2004
Springer
15 years 3 months ago
The KGP Model of Agency
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...