912 search results - page 140 / 183 » Abstract Saturation-Based Inference |
ALT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A variant of iterative learning in the limit (cf. [LZ96]) is studied when a learner gets negative examples refuting conjectures containing data in excess of the target la...
114
click to vote
ALT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Recently, some non-regular subclasses of context-free grammars have been found to be efficiently learnable from positive data. In order to use these efficient algorithms ...
107
click to vote
TLDI
2010
ACM
15 years 8 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
PDP
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—The evolution towards cross-organizational collaboration and interaction patterns has led to the emergence of scalable, Web services-based composition infrastructures. T...
HRI
2010
ACM
15 years 6 months ago
2010
ACM
Abstract—Joint attention – the idea that humans make inferences from observable behaviors of other humans by attending to the objects and events that these others humans attend...