Sciweavers

5 search results - page 1 / 1
» Understanding the global semantics of referential actions us...
Sort
View
84
Voted
TODS
2002
52views more  TODS 2002»
15 years 2 days ago
Understanding the global semantics of referential actions using logic rules
Wolfgang May, Bertram Ludäscher
SIGMOD
2008
ACM
120views Database» more  SIGMOD 2008»
16 years 17 days 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
15 years 5 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
129
Voted
FMSB
2008
129views Formal Methods» more  FMSB 2008»
15 years 2 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...
99
Voted
JSW
2008
152views more  JSW 2008»
15 years 12 days 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