11397 search results - page 4 / 2280 » A Relational Abstraction for Functions |
MST
2007
13 years 9 months ago
2007
Abstract. We study the distribution of values of additive functions related to numeration systems defined via regular languages.
CORR
2004
Springer
13 years 9 months ago
2004
Springer
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
IWCIA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We propose definitions of digital convex sets and digital convex functions and relate them to a refined definition of digital hyperplanes.
SMC
2010
IEEE
13 years 8 months ago
2010
IEEE
—We outline SoftFacts, an ontology mediated top-k information retrieval system over relational databases. An ontology layer is used to define (in terms of a OWL-QL like Semantic...