958 search results - page 171 / 192 » Model Transformation Languages and Their Implementation by B... |
108
click to vote
COMPGEOM
2003
ACM
15 years 6 months ago
2003
ACM
We develop algorithms for computing the smallest enclosing ball of a set of n balls in d-dimensional space. Unlike previous methods, we explicitly address small cases (n ≤ d + 1...
227
click to vote
NLP
2000
15 years 4 months ago
2000
Abstract. The purpose of this paper is (1) to provide a theoretical justification for the use of Monte-Carlo sampling for approximate resolution of NP-hard maximization problems in...
127
click to vote
IS
2006
15 years 1 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
108
click to vote
IS
2007
15 years 1 months ago
2007
: A number of indexing techniques have been proposed in recent times for optimizing the queries on XML and other semistructured data models. Most of the semistructured models use t...
117
click to vote
TKDE
2010
14 years 8 months ago
2010
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-bas...