We consider the construction and management of user profiles for an agent-based travel support system, with the goal of providing personalized content for individual users of the ...
Maciej Gawinecki, Zygmunt Vetulani, Minor Gordon, ...
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
It is consistent (relative to ZFC) that each union of max{b, g} many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consist...
This paper studies new spike-based models for winner-take-all computation and coincidence detection. In both cases, very fast convergence is achieved independent of initial condit...
Cardinality estimation is the problem of estimating the number of tuples returned by a query; it is a fundamentally important task in data management, used in query optimization, ...