5410 search results - page 188 / 1082 » When to Cross Over |
133
click to vote
CSR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
116
click to vote
WEBNET
2001
15 years 6 months ago
2001
: When transforming an XML document for a given purpose, specifying the desired output format allows greater control over the transformation result than is possible using XSLT, esp...
144
click to vote
GCB
2003
Springer
15 years 10 months ago
2003
Springer
: Classification and prediction of protein structure has been a central research theme in structural bioinformatics. Due to the imbalanced distribution of proteins over multi SCOP ...
135
click to vote
IVA
2010
Springer
15 years 3 months ago
2010
Springer
We describe a design study in which five different tools are compared for end-user authoring of personal stories to be told by an embodied conversational agent. The tools provide v...
122
click to vote
ISAAC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we prove for the first time that the learning complexity of Rocchio’s algorithm is O(d+d2 (log d+log n)) over the discretized vector space {0, . . . , n − 1}d ,...