Sciweavers

29082 search results - page 13 / 5817
» The Time-Triggered Model of Computation
Sort
View
PODC
2012
ACM
11 years 10 months ago
Weak models of distributed computing, with connections to modal logic
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker ve...
Lauri Hella, Matti Järvisalo, Antti Kuusisto,...
ICDT
2012
ACM
251views Database» more  ICDT 2012»
11 years 10 months ago
Computing universal models under guarded TGDs
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
André Hernich
IJALR
2011
49views more  IJALR 2011»
12 years 11 months ago
A Computational Model of Mitigating Disease Spread in Spatial Networks
  We consider the problem of disease spreading and containment in spatial networks, where our  computational  model  is  capable  of  detecting  disease  prog...
Taehyong Kim, Kang Li, Aidong Zhang, Surajit Sen, ...
FOGA
2011
12 years 11 months ago
Computational complexity analysis of simple genetic programming on two problems modeling isolated program semantics
Analyzing the computational complexity of evolutionary algorithms (EAs) for binary search spaces has significantly informed our understanding of EAs in general. With this paper, ...
Greg Durrett, Frank Neumann, Una-May O'Reilly
IEAAIE
2011
Springer
12 years 11 months ago
A Computational Model of Habit Learning to Enable Ambient Support for Lifestyle Change
Agent-based applications have the potential to assist humans in their lifestyle change, for instance eliminating addictive behaviours or adopting new healthy behaviours. In order t...
Michel C. A. Klein, Nataliya M. Mogles, Jan Treur,...