1547 search results - page 121 / 310 » The Isabelle Collections Framework |
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
FDL
2006
IEEE
14 years 4 months ago
2006
IEEE
We present an introspection/reflection framework for SystemC which extracts design-relevant structure information and transaction data under any LRM-2.1 compliant simulation kern...
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
— Ensembles are often capable of greater predictive accuracy than any of their individual members. One key attribute of ensembles’ success is the notion of diversity. However, ...
SIGIR
2004
ACM
14 years 3 months ago
2004
ACM
Latent Semantic Indexing (LSI) is a well established and effective framework for conceptual information retrieval. In traditional implementations of LSI the semantic structure of...