Sökning: "SICS."

Visar resultat 6 - 10 av 71 avhandlingar innehållade ordet SICS..

1. 6. Individual service provisioning

   Författare :Fredrik Espinoza; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Computer usage is once again going through changes. Leaving behind the experiences of mainframes with terminal access and personal computers with graphical user interfaces, we are now headed for handheld devices and ubiquitous computing; we are facing the prospect of interacting with electronic services. LÄS MER

3. 7. DIVE on the internet

   Författare :Emmanuel Frecon; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This dissertation reports research and development of a platform for Collaborative Virtual Environments (CVEs). It has particularly focused on two major challenges: supporting the rapid development of scalable applications and easing their deployment on the Internet. LÄS MER

4. 8. A framework for reasoning about Erlang code

   Författare :Lars-Åke Fredlund; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : We present a framework for formal reasoning about the behaviour of software written in Erlang, a functional programming language with prominent support for process based concurrency, message passing communication and distribution. The framework contains the following key ingredients: a specification language based on the mu-calculus and first-order predicate logic, a hierarchical small-step structural operational semantics of Erlang, a judgement format allowing parameterised behavioural assertions, and a Gentzen style proof system for proving validity of such assertions. LÄS MER

5. 9. Exploiting Fine-grain Parallelism in Concurrent Constraint Languages

   Författare :Johan Montelius; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Implicit parallelism; Concurrent Constraint Programming; Cache performance; Logic programming; Abstract machine; Parallel execution; Scheduling; Multiprocessor; Shared memory;

   Sammanfattning : This dissertation presents the design, implementation, and evaluation of a system that exploits fine-grain implicit parallelism in concurrent constraint programming language. The system is able to outperform a C implementation of an algorithm with complex dependencies without any user annotations. LÄS MER

7. 10. Bootstrapping Named Entity Annotation by Means of Active Machine Learning: A Method for Creating Corpora

   Författare :Fredrik Olsson; RISE; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; corpus creation; data annotation; active learning; named entity recognition; machine learning; computational linguistics; nlp;

   Sammanfattning : This thesis describes the development and in-depth empirical investigation of a method, called BootMark, for bootstrapping the marking up of named entities in textual documents. The reason for working with documents, as opposed to for instance sentences or phrases, is that the BootMark method is concerned with the creation of corpora. LÄS MER