567 search results - page 32 / 114 » Play the Language: Play Coreference |
159
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
122
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
161
click to vote
MM
2004
ACM
15 years 9 months ago
2004
ACM
The interactive system which interacts human with computer has been recognized as one direction of computer development for a long time. For example, in cinema, a person gets info...
182
click to vote
JMLR
2012
13 years 6 months ago
2012
Graph partitioning algorithms play a central role in data analysis and machine learning. Most useful graph partitioning criteria correspond to optimizing a ratio between the cut a...
218
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...