1400 search results - page 50 / 280 » Dynamic Galois Theory |
117
click to vote
ICML
2009
IEEE
16 years 6 months ago
2009
IEEE
We present a novel approach for learning nonlinear dynamic models, which leads to a new set of tools capable of solving problems that are otherwise difficult. We provide theory sh...
141
click to vote
SEFM
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
152
click to vote
CADE
1999
Springer
15 years 10 months ago
1999
Springer
We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, al...
136
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
In this paper we study communication networks that employ drop-tail queueing and additive-increase multiplicative-decrease (AIMD) congestion control algorithms. We show that the t...
168
click to vote
ENTCS
2002
15 years 5 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...