29147 search results - page 58 / 5830 » System Modeling Resurrected |
116
Voted
TCS
2002
15 years 2 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
122
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
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 ...
141
Voted
BRAIN
2010
Springer
14 years 11 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
118
Voted
ENDM
2000
15 years 2 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
124
Voted
FUIN
2002
15 years 2 months ago
2002
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...