287 search results - page 15 / 58 » Mixed Strand Spaces |
FLAIRS
2008
13 years 11 months ago
2008
We describe the design of a user-centric, integrated planning and scheduling system that assists the user in exploring the rich space of plans and associated resource assignment o...
SODA
2004
ACM
13 years 10 months ago
2004
ACM
Simulated tempering and swapping are two families of sampling algorithms in which a parameter representing temperature varies during the simulation. The hope is that this will ove...
LREC
2008
13 years 10 months ago
2008
Pattern matching, or querying, over annotations is a general purpose paradigm for inspecting, navigating, mining, and transforming annotation repositories--the common representati...
PG
1998
IEEE
14 years 1 months ago
1998
IEEE
The construction of shape spaces is studied from a mathematical and a computational viewpoint. A program is outlined reducing the problem to four tasks: the representation of geom...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cut-free proofs of MLL theorems are in a n...