1836 search results - page 95 / 368 » Hierarchies for semantic classes |
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
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...
MPC
2004
Springer
15 years 3 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
INFSOF
2007
14 years 9 months ago
2007
In object-oriented composition, classes and class inheritance are applied to realize type relationships and reusable building blocks. Unfortunately, these two goals might be contr...
ITA
2007
14 years 9 months ago
2007
This note is about functions f : Aω → Bω whose graph is recognized by a B¨uchi finite automaton on the product alphabet A × B. These functions are Baire class 2 in the Bair...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
We present a taxonomy automatically generated from the system of categories in Wikipedia. Categories in the resource are identified as either classes or instances and included in a...