12981 search results - page 2407 / 2597 » Model Checking (Abstract) |
106
Voted
FMSD
2002
15 years 3 months ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
126
Voted
IJCIM
2002
15 years 3 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
133
Voted
AIR
1998
15 years 3 months ago
1998
Abstract. Genetic algorithms play a significant role, as search techniques for handling complex spaces, in many fields such as artificial intelligence, engineering, robotic, etc...
130
Voted
ALGORITHMICA
1998
15 years 3 months ago
1998
Abstract. This paper presents moment analyses and characterizations of limit distributions for the construction cost of hash tables under the linear probing strategy. Two models ar...
95
Voted
BC
1998
15 years 3 months ago
1998
Abstract. Enroth-Cugell and Robson (1966) ®rst proposed a classi®cation of retinal ganglion cells into X cells, which exhibit approximate linear spatial summation and largely sus...