Sciweavers

1828 search results - page 90 / 366
» First-Class Type Classes
Sort
View
113
Voted
COLT
2003
Springer
15 years 7 months ago
Learning All Subfunctions of a Function
Sublearning, a model for learning of subconcepts of a concept, is presented. Sublearning a class of total recursive functions informally means to learn all functions from that cla...
Sanjay Jain, Efim B. Kinber, Rolf Wiehagen
142
Voted
ECOOP
2011
Springer
14 years 2 months ago
An Empirical Study of Object Protocols in the Wild
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
Nels E. Beckman, Duri Kim, Jonathan Aldrich
JGAA
2006
85views more  JGAA 2006»
15 years 2 months ago
A Survey of the Algorithmic Properties of Simplicial, Upper Bound and Middle Graphs
Three classes of graphs, simplicial, upper bound, and middle graphs, have been known for some time, but many of their algorithmic properties have not been published. The definitio...
Grant A. Cheston, Tjoen Seng Jap
FUIN
2000
123views more  FUIN 2000»
15 years 2 months ago
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
In semantic and object-oriented data models, each class has one or more typing properties that associate it to other classes, and carry type information about all instances of the ...
Anastasia Analyti, Nicolas Spyratos, Panos Constan...
119
Voted
STACS
2009
Springer
15 years 9 months ago
Weak MSO with the Unbounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
Mikolaj Bojanczyk