A feature of human cognition is the ability to monitor and adjust one's own behavior under changing circumstances. A dynamic balance between controlled and rapid responding is needed to adapt to a fluctuating environment. We suggest that cognitive control may include, among other things, two distinct processes. Incongruent stimuli may drive top-down facilitation of task-relevant responses to bi...

Complex real-world systems can accurately be modeled by simulations. Evaluating high-fidelity simulators can take several days, making them impractical for use in optimization, design space exploration and analysis. Often, these simulators are approximated by relatively simple math known as a surrogate model. The data points to construct this model are simulator evaluations meaning the choice o...

We present XSpeed a parallel state-space exploration algorithm for continuous systems with linear dynamics and nondeterministic inputs. The motivation of having parallel algorithms is to exploit the computational power of multi-core processors to speed-up performance. The parallelization is achieved on two fronts. First, we propose a parallel implementation of the support function algorithm by ...

Integration of new components into existing information systems (IS) is a challenging problem mainly because of the data sharing. In this paper we propose a situation-driven approach for IS components (IS-COTS) integration into existing IS. We claim that such an approach has to take into account a large number of situations and therefore has to be built by applying situational method engineerin...

This article gives an overview of a new semantic-based transfer approach developed and applied within the Verbmobil Machine Translation project [22]. We present the declarative transfer formalism and discuss its implementation. The results presented in this paper have been integrated successfully in the Verbmobil system.

The scheduling of processes to meet deadlines is a difficult problem often simplified by placing severe restrictions upon the timing characteristics of individual processes. One restriction often introduced is that processes must have deadline equal to period. This paper investigates schedulability tests for sets of periodic processes whose deadlines are permitted to be less than their period. ...

1 This work is a part of the SCOPIE project founded by the federations ELESA and IMAG, and realized in collaboration with the LIS and the LPNC laboratory. Abstract Image indexing using content analysis is known as a difficult task, involving the vision research domain. Using these tools in the context of a retrieval system is generally frustrating for users, due to a lack of interfaces developm...

This paper introduces the active mental entities approach to the design of intelligent autonomous agents. In this approach, mental attitudes are conceived as active computational entities and the overall mental activity of an agent results from their independent operation and interaction. In order to provide a formal support to this approach, we propose argumentation theory as a basis for the d...

How do animals in groups organize their work? Division of labour, i.e. the process by which individuals within a group choose which tasks to perform, has been extensively studied in social insects. Variability among individuals within a colony seems to underpin both the decision over which tasks to perform and the amount of effort to invest in a task. Studies have focused mainly on discrete tas...

We consider a team of k identical, oblivious, and semi-synchronous mobile robots that are able to sense (i.e., view) their environment, yet are unable to communicate, and evolve on a constrained path. Previous results in this weak scenario show that initial symmetry yields high lower bounds when problems are to be solved by deterministic robots. In this paper, we initiate research on probabilis...