Sciweavers

618 search results - page 90 / 124
» Meaning and Partiality Revised
Sort
View
LPNMR
1993
Springer
15 years 10 months ago
An Assumption-Based Framework for Non-Monotonic Reasoning
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
Andrei Bondarenko, Francesca Toni, Robert A. Kowal...
ARC
2007
Springer
150views Hardware» more  ARC 2007»
15 years 10 months ago
MT-ADRES: Multithreading on Coarse-Grained Reconfigurable Architecture
The coarse-grained reconfigurable architecture ADRES (Architecture for Dynamically Reconfigurable Embedded Systems) and its compiler offer high instruction-level parallelism (ILP)...
Kehuai Wu, Andreas Kanstein, Jan Madsen, Mladen Be...
FOAL
2007
ACM
15 years 10 months ago
Requirement enforcement by transformation automata
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
Douglas R. Smith
DAGM
2006
Springer
15 years 10 months ago
From Adaptive Averaging to Accelerated Nonlinear Diffusion Filtering
Weighted averaging filters and nonlinear partial differential equations (PDEs) are two popular concepts for discontinuity-preserving denoising. In this paper we investigate novel r...
Stephan Didas, Joachim Weickert
ICCV
1995
IEEE
15 years 9 months ago
Algorithms for Implicit Deformable Models
This paper presents a framework for implicit deformable models and a pair of new algorithms for solving the nonlinear partial di erential equations that result from this framework...
Ross T. Whitaker