780 search results - page 51 / 156 » Reasoning about sets using redescription mining |
102
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
98
Voted
KDD
2005
ACM
16 years 1 months ago
2005
ACM
Development of advanced anomaly detection and failure diagnosis technologies for spacecraft is a quite significant issue in the space industry, because the space environment is ha...
89
Voted
RAID
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we present an accurate and realtime PE-Miner framework that automatically extracts distinguishing features from portable executables (PE) to detect zero-day (i.e. pr...
105
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
We consider the problem of identifying the consensus ranking for the results of a query, given preferences among those results from a set of individual users. Once consensus ranki...
114
Voted
AAAI
1996
15 years 2 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...