4451 search results - page 645 / 891 » Continuous model synthesis |
151
click to vote
CSL
2004
Springer
16 years 23 hour ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
142
click to vote
GECCO
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. This paper continues our systematic study of an RNAediting computational model of Genetic Algorithms (GA). This model is constructed based on several genetic editing char...
168
click to vote
KDD
2004
ACM
15 years 12 months ago
2004
ACM
Detection of space-time clusters is an important function in various domains (e.g., epidemiology and public health). The pioneering work on the spatial scan statistic is often use...
149
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
As CPUs become more powerful with Moore’s law and memory latencies stay constant, the impact of the memory access performance bottleneck continues to grow on relational operator...
210
click to vote
WWIC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The widespread availability of both fixed and wireless network connectivity and the growing market of portable devices are enabling anytime and anywhere impromptu collabo...