4137 search results - page 679 / 828 » On the number of matchings of a tree |
146
click to vote
ER
2007
Springer
16 years 20 days ago
2007
Springer
In this paper we study the problem of schema exchange, a natural extension of the data exchange problem to an intensional level. To this end, we first introduce the notion of sche...
162
click to vote
ESOP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
173
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
This paper introduces a continuous model for Multi-cellular Developmental Design. The cells are fixed on a 2D grid and exchange ”chemicals” with their neighbors during the gr...
158
click to vote
GEOS
2007
Springer
16 years 20 days ago
2007
Springer
In geospatial applications with heterogeneous classification schemes that describe related domains, an ontology-driven approach to data sharing and interoperability relies on the ...
131
click to vote
ISICA
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Interplanetary trajectory optimization studies mostly considered a single objective of minimizing travel time between two planets or launch velocity of spacecraft at the ...