642 search results - page 35 / 129 » Once Upon a Type |
171
click to vote
IJMTM
2010
15 years 3 months ago
2010
: In today's rapidly evolving global marketplace, jobs are continually being redefined due to technological innovations and a host of other factors. Workers are also being cal...
166
click to vote
MSR
2005
ACM
15 years 11 months ago
2005
ACM
We propose a framework for describing, comparing and understanding tools for the mining of software repositories. The fundamental premise of this framework is that mining should b...
120
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
In this poster, we describe an experiment exploring the effectiveness of a pen based text input device for use in query construction. Standard TREC queries were written, recognise...
151
click to vote
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...
150
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...