Sciweavers

6799 search results - page 293 / 1360
» The Tao of Modeling Spaces
Sort
View
SPIN
2000
Springer
15 years 10 months ago
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
Nicholas Weininger, Darren D. Cofer
WEBIST
2008
15 years 8 months ago
Transforming a Competency Model to Parameterised Questions in Assessment
The problem of comparing and matching different learners' knowledge arises when assessment systems use a one-dimensional numerical value to represent "knowledge level&quo...
Onjira Sitthisak, Lester Gilbert, Hugh C. Davis
NIPS
2003
15 years 8 months ago
Gaussian Process Latent Variable Models for Visualisation of High Dimensional Data
In this paper we introduce a new underlying probabilistic model for principal component analysis (PCA). Our formulation interprets PCA as a particular Gaussian process prior on a ...
Neil D. Lawrence
IMCSIT
2010
15 years 4 months ago
On the Numerical Analysis of Stochastic Lotka-Volterra Models
The stochastic Lotka-Volterra model is an infinite Markov population model that has applications in various life science domains. Its analysis is challenging since, besides an infi...
Tugrul Dayar, Linar Mikeev, Verena Wolf
ICIP
2006
IEEE
16 years 8 months ago
Video Event Detection using ICA Mixture Hidden Markov Models
In this paper, a framework that combines feature extraction, model learning, and likelihood computation, is presented for video event detection. First, the independent component a...
Jian Zhou, Xiao-Ping Zhang