1081 search results - page 107 / 217 » Type Inference of SELF |
167
click to vote
PPOPP
2005
ACM
15 years 10 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
135
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
132
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
213
click to vote
ALDT
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We develop a Bayesian approach to concept learning for crowdsourcing applications. A probabilistic belief over possible concept definitions is maintained and updated acc...
118
click to vote
SASO
2009
IEEE
15 years 11 months ago
2009
IEEE
Delegate MAS has been proposed and investigated as an integrated coordination technique for so-called self-organising coordination-and-control applications. Delegate MAS consist o...