This paper presents an overview of the Scale Saliency algorithm introduced in (Kadir and Brady, 2001). Scale Saliency is a novel method for measuring the saliency of image regions and selecting optimal scales for thei...
This paper presents an overview of the Scale Saliency algorithm introduced in (Kadir and Brady, 2001). Scale Saliency is a novel method for measuring the saliency of image regions and selecting optimal scales for their analysis. The model underlying the algorithm deems image regions salient if they are simultaneously unpredictable in some feature-space and over scale. The algorithm possesses a number of attractive properties: invariance to planar rotation, scaling, intensity shifts and translation; robustness to noise, changes in viewpoint, and intensity scalings. Moreover, the approach offers a more general model of feature saliency compared with conventional ones, such as those based on kernel convolution, for example wavelet analysis, since such techniques define saliency and scale only with respect to a particular set of basis morphologies. Finally, we present a generalised version of the original algorithm which is invariant to affine transformations.
Illustrates the use of Occam and Ruby in developing a shaft encoder interface. In the joint of a robot arm, a shaft encoder measures the angle of each shaft by reading two output signals generated from photo-sensitive...
详细信息
Illustrates the use of Occam and Ruby in developing a shaft encoder interface. In the joint of a robot arm, a shaft encoder measures the angle of each shaft by reading two output signals generated from photo-sensitive detectors. The light input to these detectors is interrupted by a fine pattern of transparent and opaque regions on a glass disc. Rotating the encoder disc results in two digital pulse streams, and the shaft encoder interface must deduce from these streams the direction of rotation and position. While special-purpose devices such as the Texas Instrument THCT2000 can be used in the interface, the resulting system has a low bandwidth and a high chip-count. The task is to develop a new interface, based on FPGAs, with a higher speed of operation, higher accuracy, additional functionality, smaller physical size, lower development cost, reduced development time, and with increased flexibility.< >
Lack of machine intelligibility in human/computer interactions can be traced to present approaches in software design. From the duality principle, software involved in human/computer software interaction contains two ...
详细信息
Lack of machine intelligibility in human/computer interactions can be traced to present approaches in software design. From the duality principle, software involved in human/computer software interaction contains two distinct layers, a declarative knowledge-level layer and a lower-level functional or procedural-knowledge layer. The former supports simple deductive and inductive inferences and can be used to facilitate human-comprehensible communication between programs, while the latter is composed of normal procedurally encoded computer programs. The duality principle in software design is necessary in dealing with the demands of wide-scale computer usage in the information age and an urgent goal for computer science research.
The safety of software is becoming increasingly important as computers pervade control systems on which human life depends. Whilst hardware has become significantly more reliable over the years, the same cannot be sai...
详细信息
The safety of software is becoming increasingly important as computers pervade control systems on which human life depends. Whilst hardware has become significantly more reliable over the years, the same cannot be said of software. This has become more complex and methods to ensure its correctness have been slow in development. One approach is to mathematically verify software in such systems. This paper investigates the industrial use of these techniques, their advantages and disadvantages, and the introduction of standards and their recommendations concerning formal methods in this area. The cost of safety is also considered.
A new Field Programmable Gate Array (FPGA) architecture is described. This architecture includes a number of novel features not found in currently available FPGAs. It is believed to offer a significantly improved logi...
详细信息
We give a necessary and sufficient condition for when a set-theoretic function can be written using the recursion operator fold, and a dual condition for the recursion operator unfold. The conditions are simple, pract...
We give a necessary and sufficient condition for when a set-theoretic function can be written using the recursion operator fold, and a dual condition for the recursion operator unfold. The conditions are simple, practically useful, and generic in the underlying datatype.
Current drugs used to treat atrial fibrillation (AF) often target tissue excitability (sodium channels) and refractoriness (hERG channels), but their efficacy is still modest. This study focuses on investigating new a...
详细信息
Current drugs used to treat atrial fibrillation (AF) often target tissue excitability (sodium channels) and refractoriness (hERG channels), but their efficacy is still modest. This study focuses on investigating new approaches to manage AF by conducting a systematic computer simulation study. The Maleckar action potential (AP) model was used to simulate human atrial cellular and tissue electrophysiology in control and AF-related electrically remodeled (AFER) conditions. Steady-state cellular AP duration (APD) and resting potential (V rest ), as well as tissue properties, such as refractory period (ERP), conduction velocity (CV) and reentrant dominant frequency (DF) were quantified for default conditions and following changes in model parameters. Results are compared to experimental data from the literature for validation. Results show the fundamental role of the Na + /K + pump in electrophysiology and rotor dynamics in human atria through modulation of APD and ERP. I K1 controls re-entrant DF through modulation of AP, ERP and CV. Furthermore, the fast Na + current (I Na ) is key in determining DF through modulation of CV. The mechanisms underlying human atrial electrophysiological properties were qualitatively similar in control and AFER, although changes in ionic currents generally had smaller effects in AFER.
A recurring theme in physicians' criticism of medical knowledge-based systems, particularly where the determination of treatment is concerned, has been one of doubts on reliability. Acceptance criteria for reliabi...
详细信息
A recurring theme in physicians' criticism of medical knowledge-based systems, particularly where the determination of treatment is concerned, has been one of doubts on reliability. Acceptance criteria for reliability are related to risk and safety considerations. The development of two related safety critical knowledge-based systems for optimised diabetes therapy illustrates approaches to these problems. The project shows the importance of thorough testing and clinical trials in overcoming physicians' very reasonable fears concerning the use of safety critical medical computer systems.< >
A type flaw attack on a security protocol is an attack where a field that was originally intended to have one type is subsequently interpreted as having another type. A number of type flaw attacks have appeared in the...
A type flaw attack on a security protocol is an attack where a field that was originally intended to have one type is subsequently interpreted as having another type. A number of type flaw attacks have appeared in the academic literature. In this paper we prove that type flaw attacks can be prevented using a simple technique of tagging each field with some information indicating its intended type.
暂无评论