Abstract. This paper proposes a lexicon-constrained character model that combines both word and character features to solve complicated issues in Chinese morphological analysis. A ...
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
The ability to handle changes is a characteristic feature of successful software projects. The problem addressed in this paper is what should be done in project planning and itera...
We present a model of social learning of both language and skills, while assuming—insofar as possible—strict autonomy, virtual embodiment, and situatedness. This model is built...
This paper deals with the modeling of a vascular C-arm to generate 3D augmented fluoroscopic images in an interventional radiology context. A methodology based on the use of a mult...
S. Gorges, Erwan Kerrien, Marie-Odile Berger, Yves...