Sciweavers

6042 search results - page 892 / 1209
» Repeated Observation Models
Sort
View
FOSSACS
2005
Springer
16 years 7 days ago
Duality for Logics of Transition Systems
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
Marcello M. Bonsangue, Alexander Kurz
GECCO
2005
Springer
101views Optimization» more  GECCO 2005»
16 years 7 days ago
A scalable parallel genetic algorithm for x-ray spectroscopic analysis
We use a parallel multi-objective genetic algorithm to drive a search and reconstruction spectroscopic analysis of plasma gradients in inertial confinement fusion (ICF) implosion...
Kai Xu, Sushil J. Louis, Roberto C. Mancini
HIPEAC
2005
Springer
16 years 7 days ago
Enhancing Network Processor Simulation Speed with Statistical Input Sampling
Abstract. While cycle-accurate simulation tools have been widely used in modeling high-performance processors, such an approach can be hindered by the increasing complexity of the ...
Jia Yu, Jun Yang 0002, Shaojie Chen, Yan Luo, Laxm...
181
Voted
ICAPR
2005
Springer
16 years 7 days ago
Hierarchical Clustering of Dynamical Systems Based on Eigenvalue Constraints
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...
Hiroaki Kawashima, Takashi Matsuyama
ICIC
2005
Springer
16 years 6 days ago
Sequential Stratified Sampling Belief Propagation for Multiple Targets Tracking
Rather than the difficulties of highly non-linear and non-Gaussian observation process and the state distribution in single target tracking, the presence of a large, varying number...
Jianru Xue, Nanning Zheng, Xiaopin Zhong