Sciweavers

4087 search results - page 129 / 818
» Sets in Types, Types in Sets
Sort
View
ATS
2005
IEEE
132views Hardware» more  ATS 2005»
14 years 2 months ago
Concurrent Test Generation
We define a new type of test, called “concurrent test,” for a combinational circuit. Given a set of target faults, a concurrent-test is an input vector that detects all (or m...
Vishwani D. Agrawal, Alok S. Doshi
ICMCS
1999
IEEE
172views Multimedia» more  ICMCS 1999»
14 years 1 months ago
Scene Determination Based on Video and Audio Features
Determining automatically what constitutes a scene in a video is a challenging task, particularly since there is no precise definition of the term "scene". It is left to...
Rainer Lienhart, Silvia Pfeiffer, Wolfgang Effelsb...
ISMB
1996
13 years 10 months ago
Discovering Patterns and Subfamilies in Biosequences
Weconsider the problemof automaticdiscoveryof patterns and the corresponding subfamilies in a set of biosequences. Thesequences are unaligned and may contain noise of unknownlevel...
Alvis Brazma, Inge Jonassen, Esko Ukkonen, Jaak Vi...
ML
2002
ACM
104views Machine Learning» more  ML 2002»
13 years 8 months ago
A Simple Decomposition Method for Support Vector Machines
The decomposition method is currently one of the major methods for solving support vector machines. An important issue of this method is the selection of working sets. In this pape...
Chih-Wei Hsu, Chih-Jen Lin
CORR
2011
Springer
170views Education» more  CORR 2011»
13 years 4 months ago
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates, as well as Boolean operations on regions, interpreted over low-...
Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann,...