3729 search results - page 643 / 746 » On Formal Modeling of Agent Computations |
174
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Dynamic power consumed in CMOS gates goes down quadratically with the supply voltage. By maintaining a high supply voltage for gates on the critical path and by using a low supply...
154
click to vote
SCCC
1998
IEEE
15 years 10 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
147
click to vote
HRI
2007
ACM
15 years 10 months ago
2007
ACM
In many settings, such as home care or mobile environments, demands on users' attention, or users' anticipated level of formal training, or other on-site conditions will...
171
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...
200
click to vote
BRAIN
2010
Springer
15 years 7 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...