Sciweavers

8647 search results - page 473 / 1730
» The Container Selection Problem
Sort
View
142
Voted
ENTCS
2008
103views more  ENTCS 2008»
15 years 6 months ago
Analyzing Reachability for Some Petri Nets With Fast Growing Markings
Using linear algebraic techniques, we analyse the computational complexity of testing reachability in Petri nets for which markings can grow very fast. This leads to two subclasse...
M. Praveen, Kamal Lodaya
DAM
2006
81views more  DAM 2006»
15 years 6 months ago
Equivalence-free exhaustive generation of matroid representations
Abstract. In this paper we present an algorithm for the problem of exhaustive equivalence-free generation of 3-connected matroids which are represented by a matrix over some finite...
Petr Hlinený
JCSS
2008
73views more  JCSS 2008»
15 years 6 months ago
Structure identification of Boolean relations and plain bases for co-clones
We give a quadratic algorithm for the following structure identification problem: given a Boolean relation R and a finite set S of Boolean relations, can the relation R be express...
Nadia Creignou, Phokion G. Kolaitis, Bruno Zanutti...
JCT
2008
138views more  JCT 2008»
15 years 6 months ago
There exists no Steiner system S(4, 5, 17)
If a Steiner system S(4, 5, 17) exists, it would contain derived S(3, 4, 16) designs. By relying on a recent classification of the S(3, 4, 16), an exhaustive computer search for S...
Patric R. J. Östergård, Olli Pottonen
ICIP
2007
IEEE
16 years 14 days ago
Using a Markov Network to Recognize People in Consumer Images
Markov networks are an effective tool for the difficult but important problem of recognizing people in consumer image collections. Given a small set of labeled faces, we seek to ...
Andrew C. Gallagher, Tsuhan Chen