1389 search results - page 127 / 278 » Model Combination for Machine Translation |
171
Voted
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
120
click to vote
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
121
click to vote
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
161
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
136
Voted
AAAI
2008
15 years 5 months ago
2008
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...