3058 search results - page 174 / 612 » Reflections on Reflections |
FOIKS
2010
Springer
14 years 1 months ago
2010
Springer
Armstrong databases are a popular tool in example-based database design. An Armstrong database for a given constraint set from a fixed constraint class Z satisfies precisely those ...
FLAIRS
2008
14 years 10 hour ago
2008
Concept representation in ontology is a basic problem on the Semantic Web. In human cognitive process, object typicality plays an important role in concept representation. Traditi...
WSC
2007
14 years 10 hour ago
2007
Developments in simulation methodology have been so successful that simulation methods are used in many different domains, and many of these applications are based on discrete eve...
AISC
2008
Springer
13 years 11 months ago
2008
Springer
In [9], various observations on the handling of (physical) units in OpenMath were made. In this paper, we update those observations, and make some comments based on a working unit ...
AISC
2008
Springer
13 years 11 months ago
2008
Springer
We use higher-order logic to verify a quantifier elimination procedure for linear arithmetic over ordered fields, where the coefficients of variables are multivariate polynomials o...