CRV
2004
IEEE
13 years 11 months ago
2004
IEEE
The Selective Tuning Model is a proposal for modelling visual attention in primates and humans. This paper describes ongoing research to include attention to motion stimuli within ...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
We present a method for learning a human understandable, executable model of an agent's behavior using observations of its interaction with the environment. By executable we ...
ARCS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
APNOMS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper presents a Bandwidth Broker (BB) based admission control and traffic engineering model for Diffserv supported MPLS networks. The proposed model uses a multi-pa...
ANTSW
2006
Springer
13 years 11 months ago
2006
Springer
Ant colony optimisation is a constructive metaheuristic that successively builds solutions from problem-specific components. A parameterised model known as pheromone--an analogue o...
ALGOSENSORS
2004
Springer
13 years 11 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...
AIS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
3DPVT
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a novel method for detecting and quantifying 3D structure in stacks of microscopic images captured at incremental focal lengths. We express the image data as stochastic...
HASE
2007
IEEE
13 years 11 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...