2596 search results - page 330 / 520 » Gradual Typing for Objects |
141
click to vote
AIPS
1994
15 years 5 months ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
143
click to vote
SOSP
1993
ACM
15 years 5 months ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...
118
click to vote
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...
123
click to vote
IJCAI
1989
15 years 5 months ago
1989
This paper introduces a partition of the possible forms of knowledge according to their rela tionship to the basic objective of an intelligent agent, namely to act successfully ...
111
click to vote
BILDMED
2009
15 years 5 months ago
2009
Abstract. The tracking of individual cells in time-lapse microscopy facilitates the assessment of certain characteristics of different cell types. Since manual tracking of an adequ...