1743 search results - page 280 / 349 » Generalized Modal Satisfiability |
137
click to vote
SIGSOFT
2009
ACM
16 years 3 months 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
2008
ACM
16 years 3 months ago
2008
ACM
Yahoo Answers (YA) is a large and diverse question-answer forum, acting not only as a medium for sharing technical knowledge, but as a place where one can seek advice, gather opin...
133
Voted
KDD
2009
ACM
16 years 3 months ago
2009
ACM
There is a wide variety of data mining methods available, and it is generally useful in exploratory data analysis to use many different methods for the same dataset. This, however...
128
Voted
KDD
2007
ACM
16 years 2 months ago
2007
ACM
Privacy-preserving data mining (PPDM) is an important topic to both industry and academia. In general there are two approaches to tackling PPDM, one is statistics-based and the oth...
135
Voted
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Visitors enter a website through a variety of means, including web searches, links from other sites, and personal bookmarks. In some cases the first page loaded satisfies the visi...