Sciweavers

1937 search results - page 202 / 388
» Novel Models in Evolutionary Designing
Sort
View
CORR
2010
Springer
121views Education» more  CORR 2010»
13 years 9 months ago
Asynchronous Bounded Expected Delay Networks
We propose a natural generalisation of asynchronous bounded delay (ABD) network models. The commonly used ABD models assume a known bound on message delay. This assumption is ofte...
Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Ju...
CAV
2007
Springer
129views Hardware» more  CAV 2007»
14 years 3 months ago
BAT: The Bit-Level Analysis Tool
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
Panagiotis Manolios, Sudarshan K. Srinivasan, Daro...
SEMWEB
2007
Springer
14 years 3 months ago
A Pattern-based Framework for Representation of Uncertainty in Ontologies
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...
Miroslav Vacura, Vojtech Svátek, Pavel Smrz...
ISNN
2004
Springer
14 years 2 months ago
Robust Adaptive Control Using Neural Networks and Projection
Abstract. By using differential neural networks, we present a novel robust adaptive controller for a class of unknown nonlinear systems. First, dead-zone and projection techniques...
Xiaoou Li, Wen Yu
INTERACT
2007
13 years 10 months ago
Characterizing the Diversity in Users' Perceptions
This paper proposes a novel approach to modeling the diversity in users’ perceptions, based on a mixture of qualitative and quantitative techniques: the Repertory Grid Technique ...
Evangelos Karapanos, Jean-Bernard Martens