Sciweavers

7773 search results - page 1357 / 1555
» On generalized Frame-Stewart numbers
Sort
View
COLING
2002
15 years 6 months ago
Automatic Semantic Grouping in a Spoken Language User Interface Toolkit
With the rapid growth of real application domains for NLP systems, there is a genuine demand for a general toolkit from which programmers with no linguistic knowledge can build sp...
Hassan Alam, Hua Cheng, Rachmat Hartono, Aman Kuma...
COMBINATORICS
2002
87views more  COMBINATORICS 2002»
15 years 6 months ago
Kasteleyn Cokernels
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is ...
Greg Kuperberg
DM
2000
89views more  DM 2000»
15 years 6 months ago
Some counting problems related to permutation groups
This paper discusses investigations of sequences of natural numbers which count the orbits of an in nite permutation group on n-sets or n-tuples. It surveys known results on the g...
Peter J. Cameron
CONSTRAINTS
2002
129views more  CONSTRAINTS 2002»
15 years 6 months ago
Cost-Based Arc Consistency for Global Cardinality Constraints
A global cardinality constraint (gcc) is specified in terms of a set of variables X = {x1, ..., xp} which take their values in a subset of V = {v1, ..., vd}. It constrains the numb...
Jean-Charles Régin
CORR
2002
Springer
74views Education» more  CORR 2002»
15 years 6 months ago
A logical reconstruction of SPKI
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
Joseph Y. Halpern, Ron van der Meyden
« Prev « First page 1357 / 1555 Last » Next »