JSYML
2000
13 years 11 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 11 months ago
2007
Graph theoretical concepts are useful for the description and analysis of interactions and
DM
2008
13 years 11 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
14 years 24 days 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
14 years 3 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
14 years 3 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...