14 search results - page 3 / 3 » Mining Succinct Systems of Minimal Generators of Formal Conc... |
WSDM
2012
ACM
12 years 5 days ago
2012
ACM
The phenomenal growth in the volume of easily accessible information via various web-based services has made it essential for service providers to provide users with personalized ...
IWANN
2009
Springer
13 years 11 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...
KDD
2002
ACM
14 years 5 months ago
2002
ACM
Technology in the field of digital media generates huge amounts of non-textual information, audio, video, and images, along with more familiar textual information. The potential f...
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...