Sciweavers

20126 search results - page 71 / 4026
» Timed Transition Systems
Sort
View
TITS
2002
74views more  TITS 2002»
15 years 2 months ago
Emergency vehicle maneuvers and control laws for automated highway systems
The operation and transit of emergency vehicles on an automated highway system (AHS) designed under the control architecture proposed in the California Partners for Advanced Transi...
Charmaine Toy, Kevin Leung, Luis Alvarez, Roberto ...

Publication
391views
16 years 4 months ago
Pedestrian access to transit: Identifying redundancies and gaps using a variable service area analysis
Identifying the percentage of the population being served by a transit system in a metropolitan region is a key performance measure. This performance measure depends mainly on the ...
El-Geneidy, A., Tétreault, P. & Surprenant-Legaul...
IPMI
2005
Springer
15 years 8 months ago
Transitive Inverse-Consistent Manifold Registration
Abstract. This paper presents a new registration method called Transitive InverseConsistent Manifold Registration (TICMR). The TICMR method jointly estimates correspondence maps be...
Xiujuan Geng, Dinesh Kumar, Gary E. Christensen
CONCUR
2004
Springer
15 years 8 months ago
Open Maps, Alternating Simulations and Control Synthesis
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
Paulo Tabuada
TC
1998
15 years 2 months ago
Analysis of Preventive Maintenance in Transactions Based Software Systems
—Preventive maintenance of operational software systems, a novel technique for software fault tolerance, is used specifically to counteract the phenomenon of software “aging....
Sachin Garg, Antonio Puliafito, Miklós Tele...