1965 search results - page 238 / 393 » On the analysis of interacting pushdown systems |
LICS
1999
IEEE
14 years 2 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
ESWS
2008
Springer
13 years 12 months ago
2008
Springer
Semantics can be integrated in to search processing during both document analysis and querying stages. We describe a system that incorporates both, semantic annotations of Wikipedi...
WOA
2001
13 years 11 months ago
2001
Abstract--In the network-centric computing era, applications often involve sets of autonomous, unpredictable, and possibly mobile entities interacting within open, dynamic, and pos...
WSC
1997
13 years 11 months ago
1997
This paper presents the development of a flexible simulation model of the rail operations at the Tropicana facility in Bradenton, Florida. The complexity of the process and system...
BC
2008
13 years 10 months ago
2008
Recently, several two-dimensional spiking neuron models have been introduced, with the aim of reproducing the diversity of electrophysiological features displayed by real neurons w...