2944 search results - page 373 / 589 » On Well Quasi-orders on Languages |
157
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
187
click to vote
UM
2010
Springer
15 years 11 months ago
2010
Springer
Search engines are key components in the online world and the choice of search engine is an important determinant of the user experience. In this work we seek to model user behavio...
144
click to vote
UM
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we present the results of a two-month field study of fifteen people using a software tool designed to model changes in a user’s availability. The software uses s...
164
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Design patterns are widely recognized as important software development methods. Their use as software understanding tools, though generally acknowledged has been scarcely explore...
148
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...