JSYML
2000
13 years 4 months ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
BMCBI
2007
13 years 4 months ago
2007
Graph theoretical concepts are useful for the description and analysis of interactions and
DM
2008
13 years 4 months ago
2008
In edge colouring it is often useful to have information about the degree distribution of the neighbours of a given vertex. For example, the well known Vizing's Adjacency Lem...
RIAO
1997
13 years 5 months ago
1997
As the amount of textual information available through the World Wide Web grows, there is a growing need for high-precision IR systems that enable a user to nd useful information ...
ICALP
1995
Springer
13 years 8 months ago
1995
Springer
An infinite binary sequence x is defined to be (i) strongly useful if there is a computable time bound within which every decidable sequence is Turing reducible to x; and (ii) w...
ACMIDC
2009
13 years 8 months ago
2009
The existing knowledge base on child development offers a wealth of information that can be useful for the design of children's technology. Furthermore, academic journals and...