Sciweavers

3995 search results - page 108 / 799
» Linearization of hybrid processes
Sort
View
ICPP
2005
IEEE
15 years 9 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
166
Voted
TSP
2011
230views more  TSP 2011»
14 years 10 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,...
127
Voted
CAAP
1990
15 years 7 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
125
Voted
ORDER
2007
79views more  ORDER 2007»
15 years 3 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 1 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