Sciweavers

8928 search results - page 68 / 1786
» Modeling Current Events
Sort
View
ASM
2010
ASM
15 years 6 months ago
A Basis for Feature-Oriented Modelling in Event-B
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
Jennifer Sorge, Michael Poppleton, Michael Butler
TSE
2011
180views more  TSE 2011»
14 years 6 months ago
Developing a Single Model and Test Prioritization Strategies for Event-Driven Software
—Event-Driven Software (EDS) can change state based on incoming events; common examples are GUI and web applications. These EDS pose a challenge to testing because there are a la...
Renée C. Bryce, Sreedevi Sampath, Atif M. M...
CIKM
2011
Springer
13 years 11 months ago
Hybrid models for future event prediction
We present a hybrid method to turn off-the-shelf information retrieval (IR) systems into future event predictors. Given a query, a time series model is trained on the publication...
Giuseppe Amodeo, Roi Blanco, Ulf Brefeld
ICASSP
2011
IEEE
14 years 3 months ago
Improving acoustic event detection using generalizable visual features and multi-modality modeling
Acoustic event detection (AED) aims to identify both timestamps and types of multiple events and has been found to be very challenging. The cues for these events often times exist...
Po-Sen Huang, Xiaodan Zhuang, Mark Hasegawa-Johnso...
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
14 years 9 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis