Sciweavers

8196 search results - page 352 / 1640
» Computational Modeling and Complexity Science
Sort
View
TCS
2010
15 years 1 months ago
Parametric random generation of deterministic tree automata
Uniform random generators deliver a simple empirical means to estimate the average complexity of an algorithm. We present a general rejection algorithm that generates sequential l...
Pierre-Cyrille Héam, Cyril Nicaud, Sylvain ...
197
Voted
GI
2009
Springer
15 years 4 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
ICASSP
2011
IEEE
14 years 10 months ago
The IBM 2009 GALE Arabic speech transcription system
We describe the Arabic broadcast transcription system elded by IBM in the GALE Phase 4 machine translation evaluation. Key advances over our Phase 3.5 system include improvements ...
Brian Kingsbury, Hagen Soltau, George Saon, Stephe...
ITRUST
2004
Springer
16 years 2 days ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...

Source Code
748views
17 years 3 months ago
3D Slicer
"3D Slicer is a multi-platform, free open source software (FOSS) for visualization and image computing. Features include Sophisticated complex visualization capabilities, Mult...
Steve Pieper, Ron Kikinis