Sciweavers

3995 search results - page 108 / 799
» Linearization of hybrid processes
Sort
View
ICPP
2005
IEEE
15 years 12 months ago
A Hybrid Searching Scheme in Unstructured P2P Networks
The existing searching schemes in Peer-to-Peer (P2P) networks are either forwarding-based or non-forwarding based. In forwarding-based schemes, queries are forwarded from the quer...
Xiuqi Li, Jie Wu
TSP
2011
230views more  TSP 2011»
15 years 1 months ago
Bayesian Nonparametric Inference of Switching Dynamic Linear Models
—Many complex dynamical phenomena can be effectively modeled by a system that switches among a set of conditionally linear dynamical modes. We consider two such models: the switc...
Emily B. Fox, Erik B. Sudderth, Michael I. Jordan,...
CAAP
1990
15 years 9 months ago
Petri Nets as Models of Linear Logic
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
Uffe Engberg, Glynn Winskel
ORDER
2007
79views more  ORDER 2007»
15 years 5 months ago
Computable Linearizations of Well-partial-orderings
Abstract. We analyze results on well-partial-orderings from the viewpoint of computability theory, and we answer a question posed by Diana Schmidt. We obtain the following results....
Antonio Montalbán
TSD
2010
Springer
15 years 4 months ago
Adaptation of a Feedforward Artificial Neural Network Using a Linear Transform
In this paper we present a novel method for adaptation of a multi-layer perceptron neural network (MLP ANN). Nowadays, the adaptation of the ANN is usually done as an incremental r...
Jan Trmal, Jan Zelinka, Ludek Müller