Sciweavers

10997 search results - page 233 / 2200
» On the Structure of Complete Sets
Sort
View
RSCTC
2000
Springer
227views Fuzzy Logic» more  RSCTC 2000»
15 years 10 months ago
Rough Sets in Approximate Spatial Reasoning
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
Thomas Bittner, John G. Stell
DATE
2008
IEEE
126views Hardware» more  DATE 2008»
15 years 8 months ago
State Skip LFSRs: Bridging the Gap between Test Data Compression and Test Set Embedding for IP Cores
1 We present a new type of Linear Feedback Shift Registers, State Skip LFSRs. State Skip LFSRs are normal LFSRs with the addition of a small linear circuit, the State Skip circuit,...
V. Tenentes, Xrysovalantis Kavousianos, Emmanouil ...
CODAS
2001
100views more  CODAS 2001»
15 years 8 months ago
Set-Based Access Conflicts Analysis of Concurrent Workflow Definition
An error-comprising workflow dejinition might provoke serious problems to an enterprise especially when it is involved with mission critical business processes. Concurrency of wor...
Minkyu Lee, Dongsoo Han, Jaeyong Shim
JMLR
2006
93views more  JMLR 2006»
15 years 6 months ago
An Efficient Implementation of an Active Set Method for SVMs
We propose an active set algorithm to solve the convex quadratic programming (QP) problem which is the core of the support vector machine (SVM) training. The underlying method is ...
Katya Scheinberg
CORR
2011
Springer
187views Education» more  CORR 2011»
14 years 10 months ago
Backdoors to Tractable Answer-Set Programming
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...
Johannes Klaus Fichte, Stefan Szeider