29143 search results - page 240 / 5829 » A Sortation System Model |
160
click to vote
TCS
2002
15 years 6 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...
158
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
176
click to vote
ICASSP
2011
IEEE
14 years 10 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 ...
168
click to vote
EDOC
2008
IEEE
16 years 29 days ago
2008
IEEE
The Zachman Framework offers a classification of the models created in an enterprise architecture project. These models form a holistic representation of the organization. Despite...
172
click to vote
DSRT
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...