We present a Personalized Health Information Generation and Delivery System that leverages case based reasoning techniques to dynamically author a Personalized Health Information ...
Abstract. This paper proposes a generic extension to propositional rule learners to handle multiple-instance data. In a multiple-instance representation, each learning example is r...
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shu...
Internet facilitates easy access to data, information, and knowledge sources available online. This provides an unprecedented opportunity to empower decision support systems with ...
Abstract. We describe a symbolic framework for treating linear boundary problems with a generic implementation in the Theorema system. For ordinary differential equations, the ope...
Markus Rosenkranz, Georg Regensburger, Loredana Te...