29172 search results - page 26 / 5835 » Modeling Systems in CLP |
TON
2012
11 years 11 months ago
2012
TOCL
2012
11 years 11 months ago
2012
ICASSP
2011
IEEE
13 years 13 days 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 ...
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
IJSEKE
2011
13 years 4 days ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...