Sciweavers

4397 search results - page 374 / 880
» Relational Algebra Operations
Sort
View
128
Voted
AAAI
2006
15 years 7 months ago
Constraint Symmetry and Solution Symmetry
Symmetry in constraint satisfaction problems (CSPs) has been considered in two fundamentally different ways: as an operation preserving the solutions of a CSP instance, or as an o...
David A. Cohen, Peter Jeavons, Christopher Jeffers...
CCCG
2003
15 years 7 months ago
Curves of width one and the river shore problem
We consider the problem of finding the shortest curve in the plane that has unit width. This problem was first posed as the “river shore” puzzle by Ogilvy (1972) and is rela...
Timothy M. Chan, Alexander Golynski, Alejandro L&o...
PROCOMET
1998
15 years 7 months ago
Bisimulations in the join-calculus
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
Michele Boreale, Cédric Fournet, Cosimo Lan...
169
Voted
WSC
1997
15 years 7 months ago
Simulation of a Paint Shop Power and Free Line
We describe the application of simulation and statistical analyses to the process improvement of a paint shop within a heavy manufacturing plant. The explicit objectives of this s...
Edward J. Williams, Shigeru Sadakane
JOLLI
2008
67views more  JOLLI 2008»
15 years 6 months ago
Optionality, Scope, and Licensing: An Application of Partially Ordered Categories
Abstract. This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set p...
Raffaella Bernardi, Anna Szabolcsi