Current clustering techniques are able to identify arbitrarily shaped clusters in the presence of noise, but depend on carefully chosen model parameters. The choice of model param...
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
This paper presents a contribution to the large problematic of integrating medical image-based information into a structured framework (such as electronic patient records or anato...
Sensor-based services propose to gather, manage, analyze, access and react to sensor data. These services are distributed over heterogeneous platforms. The complexity of the imple...
Realistic tissue models require accurate representations of the properties of in vivo tissue. This study examines the potential for tactile imaging to measure tissue properties an...