2522 search results - page 42 / 505 » Tokenized Interaction Architecture |
EPIA
1999
Springer
13 years 12 months ago
1999
Springer
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
NN
2000
Springer
13 years 7 months ago
2000
Springer
The visual cortex has a laminar organization whose circuits form functional columns in cortical maps. How this laminar architecture supports visual percepts is not well understood...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Over recent years there has been increased level of discussion on utility pricing for software. The focus of these discussions is to create new operating cost models where the unit...
ESORICS
2009
Springer
14 years 8 months ago
2009
Springer
Digital identity credentials are a key enabler for important online services, but widespread theft and misuse of such credentials poses serious risks for users. We believe that an ...
WMCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
Cost is one of the key challenges facing the deployment of wireless networks. Though 802.11-based networks have shown that costly, licensed spectrum is not always necessary, the c...