5205 search results - page 76 / 1041 » Tilings and model theory |
FMCAD
2000
Springer
14 years 15 days ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— Game theoretical approaches have been recently used to develop patrolling strategies for mobile robots. The idea is that the patroller and the intruder play a game, whose outco...
AMC
2011
13 years 15 days ago
2011
The present paper studies the probability of ruin of an insurer, if excess of loss reinsurance with reinstatements is applied. In the setting of the classical CramerLundberg risk ...
DIS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. State of the art equation discovery systems start the discovery process from scratch, rather than from an initial hypothesis in the space of equations. On the other hand,...
SIGIR
2003
ACM
14 years 2 months ago
2003
ACM
In this paper, we introduce the fractal summarization model based on the fractal theory. In fractal summarization, the important information is captured from the source text by ex...