642 search results - page 35 / 129 » Once Upon a Type |
117
click to vote
IJMTM
2010
14 years 9 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...
103
click to vote
MSR
2005
ACM
15 years 5 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...
SIGIR
2003
ACM
15 years 5 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...
ECAI
1994
Springer
15 years 3 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 ...
FSTTCS
2006
Springer
15 years 3 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...