3379 search results - page 444 / 676 » Combinators for Interaction Nets |
173
click to vote
ESWS
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we describe a distributed architecture consisting of a combination of scripting tools that interact with each other in order to help to find and query decentralized ...
168
click to vote
FROCOS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
192
click to vote
ICCBR
2007
Springer
16 years 24 days ago
2007
Springer
We identify two fundamental points of utilizing CBR for an adaptive agent that tries to learn on the basis of trial and error without a model of its environment. The first link co...
174
click to vote
ICCS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We consider a physical model of ultrafast evolution of an initial electron distribution in a quantum wire. The electron evolution is described by a quantum-kinetic equati...
164
click to vote
PERVASIVE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Small, mobile devices without user interfaces, such as Bluetooth headsets, often need to communicate securely over wireless networks. Active attacks can only be prevented...