Expressive Real-Time Intersection Scheduling
نویسندگان
چکیده
منابع مشابه
An Expressive Real-Time CCS
This paper describes a new ‘real-time’ process algebra that exhibits the advantages of both the ‘constraint-oriented’ and ‘marker variable’ specification styles. Its definition extends CCS, firstly with a basic notion of absolute time added to actions, and then with relative timing expressions which may refer to time markers.
متن کاملReal-Time Expressive Rendering of City Models
City models have become central elements for visually communicating spatial information related to urban areas and have manifold applications. Our real-time non-photorealistic rendering technique aims at abstract, comprehensible, and vivid drawings of assemblies of polygonal 3D urban objects. It takes into account related principles in cartography, cognition, and nonphotorealism. Technically, t...
متن کاملA Simple Expressive Real Time CCS
We describe a new real time process algebra with simple semantics but consider able expressive power It exhibits the advantages of both the constraint oriented and marker variable speci cation styles The de nition extends Milner s CCS rstly with a simple notion of absolute time added to actions and then with relative timing expressions which may refer to time markers
متن کاملAn Expressive Temporal Logic for Real Time
We add to the standard temporal logic with the modalities ”Until” and ”Since”, a sequence of “counting modalities”: For each n the modality Cn(X), which says that X will be true at least at n points in the next unit of time, and its past counterpart ←− C n, which says that X has happened at least n times in the last unit of time. We prove that this temporal logic is as expressive as can be hope...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the AAAI Conference on Artificial Intelligence
سال: 2019
ISSN: 2374-3468,2159-5399
DOI: 10.1609/aaai.v33i01.33019882