2822 search results - page 276 / 565 » Mining Optimized Ranges |
164
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
172
click to vote
ER
2007
Springer
16 years 24 days ago
2007
Springer
The emerging area of business process intelligence attempts to enhance the analytical capabilities of business process management systems by employing data warehousing and mining t...
182
Voted
ISIPTA
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper addresses the following question: how should we update our beliefs after observing some incomplete data, in order to make credible predictions about new, and possibly i...
181
click to vote
GROUP
2005
ACM
16 years 5 days ago
2005
ACM
In distributed software development, two sorts of dependencies can arise. The structure of the software system itself can create dependencies between software elements, while the ...
147
click to vote
SAC
2005
ACM
16 years 5 days ago
2005
ACM
When a partitional structure is derived from a data set using a data mining algorithm, it is not unusual to have a different set of outcomes when it runs with a different order of...