Search for dissertations about: "Constraint theory"

Showing result 1 - 5 of 106 swedish dissertations containing the words Constraint theory.

2. 1. Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

   Author : Paul Pettersson; Wang Yi; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Abstract : During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniques to industrial-size systems is the huge amount of time and memory needed to explore and store the state-space of the system model. READ MORE

4. 2. Complex Task Allocation for Delegation : From Theory to Practice

   Author : David Landén; Patrick Doherty; Silvia Coradeschi; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Multi-agent systems; task allocation; distributed constraint satisfaction; delegation; UAV; TECHNOLOGY; TEKNIKVETENSKAP;

   Abstract : The problem of determining who should do what given a set of tasks and a set of agents is called the task allocation problem. The problem occurs in many multi-agent system applications where a workload of tasks should be shared by a number of agents. READ MORE

5. 3. Label Cover Reductions for Unconditional Approximation Hardness of Constraint Satisfaction

   Author : Cenny Wenner; Johan Håstad; Viggo Kann; Irit Dinur; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Combinatorial Optimization; Complexity Theory; Approximation; Approximability; Inapproximability; Computational Hardness; NP; Optimization; Constraint Satisfaction; Kombinatorisk optimering; Komplexitetsteori; Beräkningsteori; Approximation; Approximerbarhet; Beräkningssvårighet; NP; Optimering; Vilkorssatisfiering; Vilkorsuppfyllning; Vilkorstillfredställand; datalogi; Computer Science;

   Abstract : Combinatorial optimization include such tasks as finding the quickest route to work, scheduling jobs to specialists, and placing bus stops so as to minimize commuter times. We consider problems where one is given a collection of constraints with the objective of finding an assignment satisfying as many constraints as possible, also known as Constraint Satisfaction Problems (CSPs). READ MORE

6. 4. Dialogue and Shared Knowledge : How Verbal Interaction Renders Mental States Socially Observable

   Author : Wendelin Reich; Tom R. Burns; Ruth Wodak; Uppsala universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Sociology; cognitive sociology; microsociology; social theory; social interaction; dialogue; shared knowledge; observability; inference; constraint; expectability; Grice; Sociologi; Sociology; Sociologi;

   Abstract : This dissertation presents a new theoretical solution to the sociological problem of observability: the question of the extent to which and by what means individuals "observe" or infer mental states of other individuals, thereby sharing knowledge with them. The answer offered here states that the social situation of dialogue permits a speaker to use utterances to compel a hearer to generate specific and expectable assumptions about some of the speaker's intentions and beliefs. READ MORE

7. 5. Opportunistic Behavior in Industrial Marketing Relationships

   Author : Raeesah Chohan; Esmail Salehi-Sangari; Leyland Pitt; John B. Ford; Luleå tekniska universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Opportunistic behavior; moral hazard; adverse selection; principal-agent; Agency Theory; professional agent; Theory of Relationship Constraints; client-advertising agency relationship; ex-ante; ex-post; formal constraint mechanisms; social constraint mechanisms; Industrial Marketing; Industriell marknadsföring;

   Abstract : As humans beings, we act to our advantage. In some cases, this is done to the detriment of others; also known as opportunistic behavior. READ MORE