Assessing the similarity among 3D shapes is a challenging research topic, and effective shape descriptions have to be devised in order to support the matching process. There is a ...
In the paper we combine a Bayesian Network model for encoding forensic evidence during a given time interval with a Hidden Markov Model (EBN-HMM) for tracking and predicting the de...
Olivier Y. de Vel, Nianjun Liu, Terry Caelli, Tib&...
In this paper we study a free boundary problem modeling the growth of tumors. The model uses the conventional ideas of nutrient diffusion and consumption by the cells. We consider...
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
Informal conversations occur all day long among employees. These conversations allow employees to share experience such as innovative ideas for performing a task. Internalizing th...
Lori Baker-Eveleth, Suprateek Sarker, Daniel M. Ev...