2646 search results - page 279 / 530 » Local Type Inference |
166
click to vote
POLICY
2004
Springer
16 years 1 days ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
136
click to vote
PG
2003
IEEE
15 years 12 months ago
2003
IEEE
Constrictions on a surface are defined as simple closed curves whose length is locally minimal. In particular, constrictions are periodic geodesics. We use constrictions in order...
169
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
In this paper, we propose architectural support for object manipulation, stack processing and method invocation to enhance the execution speed of Java bytecodes. First, a virtual a...
148
click to vote
ICIAP
1997
ACM
15 years 11 months ago
1997
ACM
This paper presents an unsupervised texture segmentation method, which uses distributions of local binary patterns and pattern contrasts for measuring the similarity of adjacent i...
126
click to vote
ACL
2008
15 years 8 months ago
2008
We identify four types of errors that unsupervised induction systems make and study each one in turn. Our contributions include (1) using a meta-model to analyze the incorrect bia...