5 search results - page 1 / 1 » Sorting the Sortable from the Unsortable |
FLAIRS
2006
15 years 1 months ago
2006
COMBINATORICS
2002
14 years 11 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
15 years 5 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 ...
110
click to vote
APWEB
2004
Springer
15 years 5 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...
130
click to vote
BMCBI
2006
14 years 12 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...