Sciweavers

1564 search results - page 55 / 313
» Extensions to the Estimation Calculus
Sort
View
DAWAK
2009
Springer
15 years 6 months ago
What Is Spatio-Temporal Data Warehousing?
Abstract. In the last years, extending OLAP (On-Line Analytical Processing) systems with spatial and temporal features has attracted the attention of of the GIS (Geographic Informa...
Alejandro A. Vaisman, Esteban Zimányi
CMSB
2008
Springer
15 years 3 months ago
A Language for Biochemical Systems
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
Michael Pedersen, Gordon D. Plotkin
FLAIRS
2006
15 years 3 months ago
Multi-Dimensional Dependency Grammar as Multigraph Description
Extensible Dependency Grammar (XDG) is new, modular grammar formalism for natural language. An XDG analysis is a multi-dimensional dependency graph, where each dimension represent...
Ralph Debusmann, Gert Smolka
LMO
2000
15 years 3 months ago
A Metamodel for Concurrent, Object-based Programming
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...
Jean-Guy Schneider, Markus Lumpe
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 2 months ago
A finiteness structure on resource terms
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
Thomas Ehrhard