Sciweavers

4378 search results - page 267 / 876
» On the Complexity of Ordered Colourings
Sort
View
PODS
1991
ACM
93views Database» more  PODS 1991»
15 years 10 months ago
The Expressiveness of a Family of Finite Set Languages
In this paper we characterise exactly the complexity of a set based database language called SRL, which presents a unified framework for queries and updates. By imposing simple s...
Neil Immerman, Sushant Patnaik, David W. Stemple
CIAC
2010
Springer
262views Algorithms» more  CIAC 2010»
15 years 10 months ago
Graph unique-maximum and conflict-free colorings
We investigate the relationship between two kinds of vertex colorings of graphs: uniquemaximum colorings and conflict-free colorings. In a unique-maximum coloring, the colors are ...
Panagiotis Cheilaris and Géza Tóth
AAAI
2007
15 years 9 months ago
TeamTalk: A Platform for Multi-Human-Robot Dialog Research in Coherent Real and Virtual Spaces
Performing experiments with human-robot interfaces often requires the allocation of expensive and complex hardware and large physical spaces. Those costs constrain development and...
Thomas K. Harris, Alexander I. Rudnicky
AAAI
2007
15 years 9 months ago
On Capturing Semantics in Ontology Mapping
Ontology mapping is a complex and necessary task for many Semantic Web (SW) applications. The perspective users are faced with a number of challenges including the difficulties o...
Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis, Nige...
ANTS
2008
Springer
110views Algorithms» more  ANTS 2008»
15 years 8 months ago
Computing Hilbert Class Polynomials
We present and analyze two algorithms for computing the Hilbert class polynomial HD. The first is a p-adic lifting algorithm for inert primes p in the order of discriminant D < ...
Juliana Belding, Reinier Bröker, Andreas Enge...