Sciweavers

3605 search results - page 172 / 721
» Associated types with class
Sort
View
110
Voted
ECOOP
2007
Springer
15 years 10 months ago
Matching Objects with Patterns
Data in object-oriented programming is organized in a hierarchy of classes. The problem of object-oriented pattern matching is how to explore this hierarchy from the outside. This ...
Burak Emir, Martin Odersky, John Williams
119
Voted
ICALP
2004
Springer
15 years 9 months ago
An Analog Characterization of Elementarily Computable Functions over the Real Numbers
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
Olivier Bournez, Emmanuel Hainry
CATS
2006
15 years 5 months ago
The Busy Beaver, the Placid Platypus and other Crazy Creatures
The busy beaver is an example of a function which is not computable. It is based on a particular class of Turing machines, and is defined as the largest number of 1's that ca...
James Harland
141
Voted
DBPL
1993
Springer
125views Database» more  DBPL 1993»
15 years 8 months ago
Octopus: A Reflective Language Mechanism for Object Manipulation
A class of database programs exist which are required to operate over an infinite number of types; included in this class are object browsers and query tools. The types over which...
Alex Farkas, Alan Dearle
SIGDIAL
2010
15 years 1 months ago
Comparing Local and Sequential Models for Statistical Incremental Natural Language Understanding
Incremental natural language understanding is the task of assigning semantic representations to successively larger prefixes of utterances. We compare two types of statistical mod...
Silvan Heintze, Timo Baumann, David Schlangen