Sciweavers

3172 search results - page 75 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
111
Voted
ITCC
2003
IEEE
15 years 6 months ago
A New Quality of Service Metric for Hard/Soft Real-Time Applications
Real-time applications often have mixed hard and soft deadlines, can be preempted subject to the cost of context switching or the restart of computation, and have various data dep...
Shaoxiong Hua, Gang Qu
90
Voted
ICANN
2009
Springer
15 years 7 months ago
Logics and Networks for Human Reasoning
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
Steffen Hölldobler, Carroline Dewi Puspa Kenc...
VTS
2003
IEEE
89views Hardware» more  VTS 2003»
15 years 6 months ago
Detecting Intra-Word Faults in Word-Oriented Memories
This paper improves upon the state of the art in testing word oriented memories. It first presents a complete set of fault models for intra-word coupling faults. Then, it establi...
Said Hamdioui, A. J. van de Goor, Mike Rodgers
104
Voted
ICLP
2003
Springer
15 years 6 months ago
Loop Formulas for Disjunctive Logic Programs
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
Joohyung Lee, Vladimir Lifschitz
87
Voted
PR
2000
92views more  PR 2000»
15 years 16 days ago
On the independence of rotation moment invariants
The problem of the independence and completeness of rotation moment invariants is addressed in this paper. First, a general method for constructing invariants of arbitrary orders ...
Jan Flusser