1358 search results - page 23 / 272 » Proceedings |
FOSSACS
2005
Springer
14 years 27 days ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
ICANN
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Dynamic neural filters (DNFs) are recurrent networks of binary neurons. Under proper conditions of their synaptic matrix they are known to generate exponentially large c...
ICCS
2005
Springer
14 years 27 days ago
2005
Springer
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
FOSSACS
2004
Springer
14 years 23 days ago
2004
Springer
We show that in perfect-information stochastic parity games with a finite state space both players have optimal pure positional strategies. Contrary to the recent proofs of this f...
DPPI
2003
ACM
14 years 19 days ago
2003
ACM
In the context of design for experience this paper presents a review of existing models of user experience. In response to a prevalent view of experience as something individual, ...