Sciweavers

29082 search results - page 229 / 5817
» The Time-Triggered Model of Computation
Sort
View
GI
2009
Springer
15 years 4 months ago
Autonomous Units to Model Games
: Communities of autonomous units are devices to model the interaction of independent processes in a rule-based and graphical way. In this paper, the framework is proposed to descr...
Hans-Jörg Kreowski, Sabine Kuske, Hauke T&oum...
GI
2009
Springer
15 years 4 months ago
A Generic Approach for Modeling Test Case Priorities with Applications for Test Development and Execution
: This contribution addresses systematic test development methods to include an algorithm to retrieve a test suite execution control in order to run test cases with high priority e...
Andreas Hoffmann, Axel Rennoch, Ina Schieferdecker...
ACL
2012
13 years 9 months ago
A Feature-Rich Constituent Context Model for Grammar Induction
We present LLCCM, a log-linear variant of the constituent context model (CCM) of grammar induction. LLCCM retains the simplicity of the original CCM but extends robustly to long s...
Dave Golland, John DeNero, Jakob Uszkoreit
ACL
2012
13 years 9 months ago
Hierarchical Chunk-to-String Translation
We present a hierarchical chunk-to-string translation model, which can be seen as a compromise between the hierarchical phrasebased model and the tree-to-string model, to combine ...
Yang Feng, Dongdong Zhang, Mu Li, Qun Liu
CIE
2007
Springer
16 years 22 days ago
Locally Computable Structures
We introduce the notion of a locally computable structure, a natural way of generalizing the notions of computable model theory to uncountable structures S by presenting the finit...
Russell G. Miller