Sciweavers

661 search results - page 30 / 133
» A Logic of Capabilities
Sort
View
ITC
2003
IEEE
141views Hardware» more  ITC 2003»
14 years 1 months ago
Cost-Effective Approach for Reducing Soft Error Failure Rate in Logic Circuits
In this paper, a new paradigm for designing logic circuits with concurrent error detection (CED) is described. The key idea is to exploit the asymmetric soft error susceptibility ...
Kartik Mohanram, Nur A. Touba
ERCIMDL
2010
Springer
135views Education» more  ERCIMDL 2010»
13 years 9 months ago
Automating Logical Preservation for Small Institutions with Hoppla
Preserving digital information over the long term becomes increasing important for large number of institutions. The required expertise and limited tool support discourage especial...
Stephan Strodl, Petar Petrov, Michael Greifeneder,...
LOPSTR
2009
Springer
14 years 2 months ago
Coinductive Logic Programming with Negation
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of “grounded range-restricted function-free normal ...
Richard Min, Gopal Gupta
IJCNN
2006
IEEE
14 years 1 months ago
An Interval Type-II Robust Fuzzy Logic Controller for a Static Compensator in a Multimachine Power System
—This paper presents a novel fuzzy logic based controller for a Static Compensator (STATCOM) connected to a power system. Type-II fuzzy systems are selected that enable the contr...
Salman Mohagheghi, Ganesh K. Venayagamoorthy, Rona...
ICMCS
2005
IEEE
120views Multimedia» more  ICMCS 2005»
14 years 1 months ago
Picturefinder: Description Logics for Semantic Image Retrieval
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...
Jean-Pierre Schober, Thorsten Hermes, Otthein Herz...