6057 search results - page 847 / 1212 » A system architecture for pervasive computing |
166
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
—An energy detector designed in a 0.18μm CMOS technology and intended for a non-coherent impulse-radio UWB receiver is presented in this paper. The proposed circuit exploits the...
169
click to vote
MKM
2007
Springer
16 years 29 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
197
click to vote
IJCNN
2006
IEEE
16 years 26 days ago
2006
IEEE
—It is proposed that the creation of Artificial General Intelligence (AGI) at the human level and ultimately beyond is a problem addressable via integrating computer science algo...
194
click to vote
SACMAT
2006
ACM
16 years 24 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
170
click to vote
ILP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...