Sciweavers

1532 search results - page 172 / 307
» An analysis of additivity in OLAP systems
Sort
View
CORR
2010
Springer
156views Education» more  CORR 2010»
13 years 9 months ago
Modelling Reactive and Proactive Behaviour in Simulation
: This research investigated the simulation model behaviour of a traditional and combined discrete event as well as agent based simulation models when modelling human reactive and ...
Mazlina Abdul Majid, Peer-Olaf Siebers, Uwe Aickel...
ICDAR
2009
IEEE
13 years 7 months ago
Prototype Selection for Handwritten Connected Digits Classification
After the handwritten segmentation process, it is common to have connected digits. This is due to the great size and shape digit variations. In addition, the acquisition and the b...
Cristiano de Santana Pereira, George D. C. Cavalca...
INTERSPEECH
2010
13 years 4 months ago
Prosodic speaker verification using subspace multinomial models with intersession compensation
We propose a novel approach to modeling prosodic features. Inspired by Joint Factor Analysis model (JFA), our model is based on the same idea of introducing subspace of model para...
Marcel Kockmann, Lukas Burget, Ondrej Glembek, Luc...
FORTE
1994
13 years 10 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled

Publication
226views
15 years 7 months ago
A Gentle Introduction to Multi-stage Programming
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
Walid Taha