5 search results - page 1 / 1 » Sorting the Sortable from the Unsortable |
FLAIRS
2006
13 years 6 months ago
2006
COMBINATORICS
2002
13 years 4 months ago
2002
A fork stack is a generalised stack which allows pushes and pops of several items at a time. We consider the problem of determining which input streams can be sorted using a singl...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
APWEB
2004
Springer
13 years 10 months ago
2004
Springer
Abstract With the growing importance of XML in data exchange, much research tends to provide a compact labeling scheme and a flexible query facility to extract data from dynamic XM...
BMCBI
2006
13 years 4 months ago
2006
Background: Existing biological databases support a variety of queries such as keyword or definition search. However, they do not provide any measure of relevance for the instance...