2335 search results - page 246 / 467 » Type Checking Type Classes |
118
click to vote
TIT
2010
14 years 7 months ago
2010
Abstract-- The problem of universal simulation given a training sequence is studied both in a stochastic setting and for individual sequences. In the stochastic setting, the traini...
116
Voted
DLOG
2011
14 years 4 months ago
2011
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
EMNLP
2007
15 years 2 months ago
2007
In this paper we explore the use of selectional preferences for detecting noncompositional verb-object combinations. To characterise the arguments in a given grammatical relations...
122
click to vote
CACM
1999
15 years 9 days ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
215
click to vote
POPL
2005
ACM
16 years 28 days ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...