Sciweavers

3233 search results - page 506 / 647
» Rule Modeling and Markup
Sort
View
ICDT
2011
ACM
270views Database» more  ICDT 2011»
14 years 10 months ago
On the equivalence of distributed systems with queries and communication
Distributed data management systems consist of peers that store, exchange and process data in order to collaboratively achieve a common goal, such as evaluate some query. We study...
Serge Abiteboul, Balder ten Cate, Yannis Katsis
MTA
2011
184views Hardware» more  MTA 2011»
14 years 9 months ago
Real-time control of individual agents for crowd simulation
This paper presents a novel approach for individual agent’s motion simulation in real-time virtual environments. In our model, we focus on addressing two problems: 1) the control...
Yunbo Rao, Leiting Chen, Qihe Liu, Weiyao Lin, Yan...
CMSB
2011
Springer
14 years 6 months ago
Coloured stochastic multilevel multiset rewriting
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
Nicolas Oury, Gordon D. Plotkin

Publication
147views
14 years 2 months ago
Rain or Snow Detection in Image Sequences through use of a Histogram of Orientation of Streaks
The detection of bad weather conditions is crucial for meteorological centers, specially with demand for air, sea and ground traffic management. In this article, a system based on ...
Jérémie Bossu, Nicolas Hautière and Jean-Philip...
ICMT
2009
Springer
16 years 1 months ago
A Simple Game-Theoretic Approach to Checkonly QVT Relations
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
Perdita Stevens