Sciweavers

3259 search results - page 218 / 652
» Modeling Autonomous-System Relationships
Sort
View
FOSSACS
2005
Springer
15 years 9 months ago
Full Abstraction for Polymorphic Pi-Calculus
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
Alan Jeffrey, Julian Rathke
HT
1999
ACM
15 years 8 months ago
Do you have the Time? Composition and Linking in Time-Based Hypermedia
Most hypermedia models and systems do not incorporate time explicitly. This prevents authors from having direct control over the temporal aspects of a presentation. In this paper ...
Lynda Hardman, Jacco van Ossenbruggen, K. Sjoerd M...
NIPS
2001
15 years 5 months ago
Grammatical Bigrams
Unsupervised learning algorithms have been derived for several statistical models of English grammar, but their computational complexity makes applying them to large data sets int...
Mark A. Paskin
WSC
1997
15 years 5 months ago
A Simulation Environment for the Coordinated Operation of Multiple Autonomous Underwater Vehicles
A simulation environment of the coordinated operation of multiple Autonomous Underwater Vehicles (AUVs) is presented. The primary application of this simulation environment is the...
João Borges de Sousa, Aleks Göllü
RTAS
2007
IEEE
15 years 10 months ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee