16883 search results - page 327 / 3377 » Generalized Non-Reducible Descriptors |
168
click to vote
PPDP
2005
Springer
16 years 6 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
171
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes how cognitive modeling can be exploited in the design of software agents that support naval training sessions. The architecture, specifications, and embedding...
170
click to vote
ACMSE
2004
ACM
16 years 5 days ago
2004
ACM
Today, as Grid Computing is becoming a reality, there is a need for managing and monitoring the available resources worldwide, as well as the need for conveying these resources to...
154
click to vote
CSCW
2004
ACM
16 years 5 days ago
2004
ACM
"Blogging" is a Web-based form of communication that is rapidly becoming mainstream. In this paper, we report the results of an ethnographic study of blogging, focusing ...
180
click to vote
HT
2004
ACM
16 years 5 days ago
2004
ACM
Microcosm was an open hypertext system that evolved in the early 1990s, before the advent of the Web. Apart from its success as a research platform it was widely used for presenti...