The process of finding representative shape patterns from sparse datasets is a challenging task: especially for non-rigid objects, shape deformations through time can produce very...
Stefano Maludrottu, Hany Sallam, Carlo S. Regazzon...
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
Most proteins function only when folded into a particular 3D configuration. Recently, a class of proteins has been discovered that do not fold into any particular configuration; t...
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
Javier Larrosa, Albert Oliveras, Enric Rodrí...
This paper describes a framework for defining domain specific Feature Functions in a user friendly form to be used in a Maximum Entropy Markov Model (MEMM) for the Named Entity Re...