Sciweavers

4164 search results - page 267 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
WSC
2001
15 years 8 months ago
The design of a web-based training system for simulation analysis
Simulation beginners often spend a great amount of time to accumulate the knowledge as well as the experience to overcome the technical complexity of computer simulation. Limited ...
Yu-Hui Tao, Shin-Ming Guo
ICPR
2008
IEEE
16 years 1 months ago
Adaptive nonstationary regression analysis
The problem of finding the most appropriate subset of features or regressors is the generic challenge of Machine Learning problems like regression estimation or pattern recognitio...
Olga Krasotkina, Vadim Mottl
DEXAW
2004
IEEE
209views Database» more  DEXAW 2004»
15 years 10 months ago
Spatio-Temporal Data Warehouse Design for Human Activity Pattern Analysis
Many applications refer to moving objects or phenomena and require spatio-temporal modelling and specific analysis. Unlike conventional data where attributes are simple values (nu...
Lionel Savary, Tao Wan, Karine Zeitouni
CORR
2010
Springer
80views Education» more  CORR 2010»
15 years 5 months ago
Analysis of temporal characteristics of the editorial processing in scientific periodicals
The first part of our work is connected with the analysis of typical random variables for the specific human-initiated process. We study the data characterizing editorial work wit...
Olesya Mryglod, Yurij Holovatch, Ihor Mryglod
CONCUR
2006
Springer
15 years 8 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink