Abstract--Intervals are a new model for parallel programming based on an explicit happens before relation. Intervals permit fine-grained but high-level control of the program sched...
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
This two-day workshop brings together the interdisciplinary community of scholars and practitioners involved in the design of interactive systems and sharing a common interest in ...
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...