Sciweavers

6799 search results - page 278 / 1360
» The Tao of Modeling Spaces
Sort
View
CMG
2003
15 years 8 months ago
{Performance Modeling and Evaluation of Large-Scale J2EE Applications
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
Samuel Kounev, Alejandro P. Buchmann
ICASSP
2011
IEEE
14 years 10 months ago
Learning and inference algorithms for partially observed structured switching vector autoregressive models
We present learning and inference algorithms for a versatile class of partially observed vector autoregressive (VAR) models for multivariate time-series data. VAR models can captu...
Balakrishnan Varadarajan, Sanjeev Khudanpur
DLOG
2006
15 years 8 months ago
Model checking the basic modalities of CTL with Description Logic
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
Shoham Ben-David, Richard J. Trefler, Grant E. Wed...
CVPR
2005
IEEE
16 years 8 months ago
Learning to Track: Conceptual Manifold Map for Closed-Form Tracking
Our objective is to model the visual manifold of object appearance corresponding to geometric transformation. We learn a generative model for object appearance where the appearanc...
Ahmed M. Elgammal
GCC
2005
Springer
16 years 8 days ago
RSM and SLN: Transformation, Normalization and Cooperation
The Resource Space Model RSM and Semantic Link Network SLN are models of future interconnection environment, and the combination of them forms a rich semantic layer for the next-ge...
Erlin Yao, Yunpeng Xing, Jie Liu, Xiaoping Sun