8828 search results - page 1142 / 1766 » Formal methods in practice |
188
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
The paper presents a method for pruning frequent itemsets based on background knowledge represented by a Bayesian network. The interestingness of an itemset is defined as the abso...
172
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Can a set of articulated and tested methodologies be created whose endpoint is the reliable capacity for taking activist social themes into account? In this paper we explore a var...
152
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
It is accepted that changes in technology, work practices and the general socio-economic environment affect the way we plan and perform tasks. Support, opportunity and pressure fo...
283
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
247
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Domain adaptation refers to the process of adapting an extraction model trained in one domain to another related domain with only unlabeled data. We present a brief survey of exis...