Sciweavers

2478 search results - page 243 / 496
» Universality in two dimensions
Sort
View
IPPS
1999
IEEE
15 years 11 months ago
Dependability Evaluation of Fault Tolerant Distributed Industrial Control Systems
Modern distributed industrial control systems need improvements in their dependability. In this paper we study the dependability of a fault tolerant distributed industrial control ...
José Carlos Campelo, Pedro Yuste, Francisco...
ISCAS
1999
IEEE
120views Hardware» more  ISCAS 1999»
15 years 11 months ago
Vector median-rational hybrid filters for multichannel image processing
In this letter, a new class of nonlinear filters called vector median-rational hybrid filters (VMRHF's) for multispectral image processing is introduced and applied to the col...
Lazhar Khriji, Moncef Gabbouj
KBSE
1999
IEEE
15 years 11 months ago
An ML Editor Based on Proofs-As-Programs
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen...
KR
1998
Springer
15 years 10 months ago
What Robots Can Do
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot,...
Hector J. Levesque
ISWC
1997
IEEE
15 years 10 months ago
A Touring Machine: Prototyping 3D Mobile Augmented Reality Systems for Exploring the Urban Environment
We describe a prototype system that combines together the overlaid 3D graphics of augmented reality with the untethered freedom of mobile computing. The goal is to explore how the...
Steven Feiner, Blair MacIntyre, Tobias Höller...