Now showing items 1-10 of 14
Unsupervised Learning of Morphology and the Languages of the World
This thesis presents work in two areas; Language Technology and Linguistic Typology. In the field of Language Technology, a specific problem is addressed: Can a computer extract a description of word conjugation in a ...
Heterogeneous IT Innovation. Developing Industrial Architectural Knowledge
Multiple information technologies are converging. Crucial to organizations’ relentless struggle to remain competitive, IT innovation processes must now increasingly take into consideration a multitude of stationary, ...
Programming Language Techniques for Natural Language Applications
It is easy to imagine machines that can communicate in natural language. Constructing such machines is more difficult. The aim of this thesis is to demonstrate how declarative grammar formalisms that distinguish between ...
Proceedings of the 3rd Educators Symposium at MODELS
Calculi for Program Incorrectness and Arithmetic
This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect ...
Informationssystem i professionsorienterat arbete
(University of Gothenburg. Department of Applied Information Technology, 2009-04-21)
This thesis investigates the challenges within the work of different types of professions; technical professions and human caretaking professions. These professions are faced special challenges in use and development of ...
Space-Safe Transformations and Usage Analysis for Call-by-Need Languages
This thesis is concerned with the resource consumption of lazy functional languages. It touches upon two aspects: how to reason about the space-safety of program transformations, and how to apply usage analysis for compiler ...
Effective SAT solving
A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several ...
Disruptive technology : effects of technology regulation on democracy
This work develops the thesis that there is a strong relationship between the regulation of disruptive technology and the Internet-based participatory democracy. In other words, attempts to regulate disruptive technology ...