1992 search results - page 263 / 399 » Model Based Testing with Labelled Transition Systems |
141
Voted
ISPASS
2007
IEEE
15 years 9 months ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
104
Voted
INFORMATICALT
2008
15 years 3 months ago
2008
This paper presents the Croatian context-dependent acoustic modelling used in speech recognition and in speech synthesis. The proposed acoustic model is based on context-dependent ...
136
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Particle Filters have been widely used as a powerful optimization tool for nonlinear, non-Gaussian dynamic models such as Simultaneous Localization and Mapping (SLAM) a...
121
Voted
WSC
2007
15 years 5 months ago
2007
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...
119
click to vote
SIAMSC
2008
15 years 3 months ago
2008
We propose a new numerical scheme for linear transport equations. It is based on a decomposition of the distribution function into equilibrium and non-equilibrium parts. We also us...