1547 search results - page 181 / 310 » The Isabelle Collections Framework |
93
Voted
UIST
2006
ACM
15 years 6 months ago
2006
ACM
Despite the ubiquity of slide presentations, managing multiple presentations remains a challenge. Understanding how multiple versions of a presentation are related to one another,...
105
Voted
AICCSA
2005
IEEE
15 years 6 months ago
2005
IEEE
—In the current research, we present an operation framework and protection mechanism to facilitate secure environment to protect mobile agents against tampering. The system depen...
94
Voted
WECWIS
2005
IEEE
15 years 6 months ago
2005
IEEE
Singular Value Decomposition (SVD), together with the Expectation-Maximization (EM) procedure, can be used to find a low-dimension model that maximizes the loglikelihood of obser...
91
Voted
SC
2005
ACM
15 years 6 months ago
2005
ACM
Advanced instruments in a variety of scientific domains are collecting massive amounts of data that must be postprocessed and organized to support research activities. Astronomers...
WWW
2005
ACM
15 years 6 months ago
2005
ACM
In recent years, many algorithms for the Web have been developed that work with information units distinct from individual web pages. These include segments of web pages or aggreg...