1054 search results - page 189 / 211 » From a Verified Kernel towards Verified Systems |
148
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
We introduce the problem of domain adaptation for content-based retrieval and propose a domain adaptation method based on relative aggregation points (RAPs). Content-based retriev...
106
click to vote
SIGSOFT
2009
ACM
16 years 15 days ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
WWW
2006
ACM
16 years 13 days ago
2006
ACM
As the popularity of the web increases and web applications become tools of everyday use, the role of web security has been gaining importance as well. The last years have shown a...
191
Voted
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
Computing statistical information on probabilistic data has attracted a lot of attention recently, as the data generated from a wide range of data sources are inherently fuzzy or ...
117
click to vote
SSDBM
1999
IEEE
15 years 4 months ago
1999
IEEE
Large scale data analysis and mining activities, such as identifying interesting trends, making unusual patterns to stand out and verifying hypotheses, require sophisticated infor...