Sciweavers

2542 search results - page 314 / 509
» An Operational Definition of Context
Sort
View
IFIPTCS
2000
15 years 10 months ago
Open Ended Systems, Dynamic Bisimulation and Tile Logic
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
Roberto Bruni, Ugo Montanari, Vladimiro Sassone
WAIM
2000
Springer
15 years 10 months ago
An Object Oriented Multidimensional Data Model for OLAP
Online Analytical Processing (OLAP) data is frequently organized in the form of multidimensional data cubes each of which is used to examine a set of data values, called measures, ...
Nguyen Thanh Binh, A. Min Tjoa, Roland Wagner
EUROSSC
2009
Springer
15 years 9 months ago
Using Dempster-Shafer Theory of Evidence for Situation Inference
Abstract. In the domain of ubiquitous computing, the ability to identify the occurrence of situations is a core function of being ’contextaware’. Given the uncertain nature of ...
Susan McKeever, Juan Ye, Lorcan Coyle, Simon A. Do...
BIRD
2008
Springer
113views Bioinformatics» more  BIRD 2008»
15 years 8 months ago
Matching Spatial Regions with Combinations of Interacting Gene Expression Patterns
The Edinburgh Mouse Atlas aims to capture in-situ gene expression patterns in a common spatial framework. In this study, we construct a grammar to define spatial regions by combina...
Jano I. van Hemert, Richard A. Baldock
CCGRID
2008
IEEE
15 years 8 months ago
Benefits of Job Exchange between Autonomous Sites in Decentralized Computational Grids
This paper examines the job exchange between parallel compute sites in a decentralized Grid scenario. Here, the local scheduling system remains untouched and continues normal oper...
Christian Grimme, Joachim Lepping, Alexander Papas...