This paper describes the first participation of IR-n system at Spoken Document Retrieval, focusing on the experiments we made before participation and showing the results we obta...
This paper describes the basis and behavior of segmentation of single figures in 3D by deformable m-reps models. Results are given for the segmentation of kidneys from CT and of h...
Stephen M. Pizer, Sarang C. Joshi, P. Thomas Fletc...
Abstract. This paper presents a framework for integrating OLAP and recommendations. We focus on the anticipatory recommendation process that assists the user during his OLAP analys...
Abstract: We describe the programming system for the graph-transformation lan, focusing on the implementation of its compiler and abstract machine. We also compare the system'...
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...