Dynamic lexical acquisition is a procedure where the lexicon of an NLP system is updated automatically during sentence analysis. In our system, new words and new attributes are pr...
-- Given the overwhelming information appearing in the current web environment, recommendations have been increasingly applied to assist users in handling with the information over...
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdot...
In this thesis, we describe a decentralized supply chain formation problem where the
supply chain planner or a central design authority (CDA) is faced with the decision
of choosi...
In distributed work environments, where users are sharing and searching resources, ensuring an appropriate ranking at remote peers is a key problem. While this issue has been inves...