Sciweavers

10615 search results - page 1277 / 2123
» Dynamic topic models
Sort
View
ENTCS
2008
90views more  ENTCS 2008»
15 years 7 months ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
COR
2008
86views more  COR 2008»
15 years 6 months ago
Optimizing counter-terror operations: Should one fight fire with "fire" or "water"?
This paper deals dynamically with the question of how recruitment to terror organizations is influenced by counter-terror operations. This is done within a optimal control model, ...
Jonathan P. Caulkins, Dieter Grass, Gustav Feichti...
PROCEDIA
2010
84views more  PROCEDIA 2010»
15 years 6 months ago
Individual-based simulation of sexual selection: A quantitative genetic approach
Sexual selection has been mathematically modeled using quantitative genetics as well as population genetics. Two-locus simulation models have been used to study the evolution of m...
D. van Dijk, Peter M. A. Sloot, J. C. Tay, M. C. S...
INFOCOM
2010
IEEE
15 years 5 months ago
Efficient Tag Identification in Mobile RFID Systems
In this paper we consider how to efficiently identify tags on the moving conveyor. Considering conditions like the path loss and multi-path effect in realistic settings, we first p...
Lei Xie, Bo Sheng, Chiu Chiang Tan, Hao Han, Qun L...
AI
2011
Springer
15 years 2 months ago
Relational preference rules for control
Much like relational probabilistic models, the need for relational preference models arises naturally in real-world applications where the set of object classes is fixed, but obj...
Ronen I. Brafman
« Prev « First page 1277 / 2123 Last » Next »