Sciweavers

5 search results - page 1 / 1
» Understanding the global semantics of referential actions us...
Sort
View
SIGMOD
2008
ACM
120views Database» more  SIGMOD 2008»
14 years 5 months ago
Muse: a system for understanding and designing mappings
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
Bogdan Alexe, Laura Chiticariu, Renée J. Mi...
CONTEXT
2001
Springer
13 years 9 months ago
Local Holism
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
Carlo Penco
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 6 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
JSW
2008
152views more  JSW 2008»
13 years 5 months ago
Reasoning with Semantic Web Technologies in Ubiquitous Computing Environment
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...
WenYing Guo