Sciweavers

5900 search results - page 190 / 1180
» Dependable Systems
Sort
View
COLING
2002
15 years 5 months ago
Reasoning in Metaphor Understanding: The ATT-Meta Approach and System
A detailed approach has been developed for core aspects of the task of understanding a broad class of metaphorical utterances. The utterances in question are those that depend on ...
John A. Barnden, Sheila Glasbey, Mark G. Lee, Alan...
SEUS
2009
IEEE
16 years 23 days ago
A Single-Path Chip-Multiprocessor System
Abstract. In this paper we explore the combination of a time-predictable chipmultiprocessor system with the single-path programming paradigm. Time-sliced arbitration of the main me...
Martin Schoeberl, Peter P. Puschner, Raimund Kirne...
CDC
2008
IEEE
239views Control Systems» more  CDC 2008»
16 years 16 days ago
Construction of Lyapunov-Krasovskii functional for time-varying delay systems
This paper provides some new techniques to construct a LyapunovKrasovskii functional for time varying delay systems. The construction is based on a partitioning scheme of the time...
Yassine Ariba, Frédéric Gouaisbaut
EMISA
2004
Springer
15 years 11 months ago
A Deontic Logic for Group-Oriented Web Information Systems
Abstract: Group-oriented web information systems (GWISs) are web-based dataintensive systems that are used by a group of people in order to fulfill common tasks. In particular, th...
Klaus-Dieter Schewe, Bernhard Thalheim, Roland Kas...
GECCO
2004
Springer
15 years 11 months ago
Crossover, Population Dynamics, and Convergence in the GAuGE System
This paper presents a study of the effectiveness of a recently presented crossover operator for the GAuGE system. This crossover, unlike the traditional crossover employed previou...
Miguel Nicolau, Conor Ryan