1547 search results - page 144 / 310 » The Isabelle Collections Framework |
128
click to vote
ICFP
2000
ACM
15 years 7 months ago
2000
ACM
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
137
click to vote
BILDMED
2007
15 years 5 months ago
2007
Abstract. Contemporary picture archiving and communication systems are limited in managing large and varied image collections, because content-based image retrieval (CBIR) methods ...
129
click to vote
ECIR
2008
Springer
15 years 5 months ago
2008
Springer
Passage retrieval and pseudo relevance feedback/query expansion have been reported as two effective means for improving document retrieval in literature. Relevance models, while im...
169
click to vote
NIPS
2008
15 years 5 months ago
2008
Probabilistic topic models have become popular as methods for dimensionality reduction in collections of text documents or images. These models are usually treated as generative m...
144
Voted
AISM
2004
15 years 5 months ago
2004
Although, many organisations have implemented technical solutions to protect information resources from adverse events, internal security breaches continue to occur. Therefore an ...