Sciweavers

1421 search results - page 150 / 285
» Resampling methods for input modeling
Sort
View
130
Voted
ERSHOV
2003
Springer
15 years 8 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
127
Voted
FMCO
2003
Springer
154views Formal Methods» more  FMCO 2003»
15 years 8 months ago
Tools for Generating and Analyzing Attack Graphs
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
Oleg Sheyner, Jeannette M. Wing
DOLAP
2007
ACM
15 years 7 months ago
Deciding the physical implementation of ETL workflows
In this paper, we deal with the problem of determining the best possible physical implementation of an ETL workflow, given its logical-level description and an appropriate cost mo...
Vasiliki Tziovara, Panos Vassiliadis, Alkis Simits...
111
Voted
ACL
2008
15 years 5 months ago
Joint Processing and Discriminative Training for Letter-to-Phoneme Conversion
We present a discriminative structureprediction model for the letter-to-phoneme task, a crucial step in text-to-speech processing. Our method encompasses three tasks that have bee...
Sittichai Jiampojamarn, Colin Cherry, Grzegorz Kon...
123
Voted
SG
2010
Springer
15 years 2 months ago
Sketch Based Volumetric Clouds
Like many natural phenomenon, clouds are often modeled using procedural methods, which may be difficult for an artist to control. In this paper, a freehand sketching system is prop...
Marc Stiver, Andrew Baker, Adam Runions, Faramarz ...