The dynamic behaviour of a LOTOS specification can be described as a tree, called behaviour tree, where the nodes represent the states of the behaviour, and the branches represent the possible next actions. Unfortunately, the behaviour tree for a realistic size LOTOS specificati…
"7" Result
Sort By:
There are as many perspectives in designing as there have been instances in which it has occured. In each instance, constraints will have invariably arisen in various forms, to the extent that designing and constraints are considered to be an inherently natural pairing. In addit…
The UK and the world are moving away from central energy resource to distributed generation (DG) in order to lower carbon emissions. Renewable energy resources comprise a big percentage of DGs and their optimal integration to the grid is the main attempt of planning/developing p…
This thesis is a study of language use in English language classrooms in primary schools in Hungary. The focus of the study is on the use of the target language (English) and the mother tongue (Hungarian) by the teachers and the learners. The teachers are all Hungarian native sp…
Backtracking CSP solvers provide a powerful framework for search and reasoning. The aim of constraint learning is increase global reasoning power by learning new constraints to boost reasoning and hopefully reduce search effort. In this thesis constraint learning is developed in…
This dissertation shows that the generalizations that speakers project from the lexical exceptions of their language are biased to be natural and output-oriented, and it offers a model of the grammar that derives these biases by encoding lexical exceptions in terms of lexically-…