Sökning
Visas titlar 1-10 av 14
Unsupervised Learning of Morphology and the Languages of the World
(2009-11-16)
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
(2007)
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
(2008-10-16)
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
(2008-09-24)
Calculi for Program Incorrectness and Arithmetic
(2008-11-18)
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
(2001)
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
(2008-10-02)
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
(2006)
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 ...