Sciweavers

56 search results - page 3 / 12
» Finding All Undercut-Free Parting Directions for Extrusions
Sort
View
ISSTA
2012
ACM
11 years 8 months ago
Residual investigation: predictive and precise bug detection
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
Kaituo Li, Christoph Reichenbach, Christoph Csalln...
VLDB
1998
ACM
127views Database» more  VLDB 1998»
13 years 9 months ago
Algorithms for Mining Association Rules for Binary Segmentations of Huge Categorical Databases
We consider the problem of finding association rules that make nearly optimal binary segmentations of huge categorical databases. The optimality of segmentation is defined by an o...
Yasuhiko Morimoto, Takeshi Fukuda, Hirofumi Matsuz...
SIGKDD
2000
96views more  SIGKDD 2000»
13 years 5 months ago
Phenomenal Data Mining: From Data to Phenomena
Phenomenal data mining finds relations between the data and the phenomena that give rise to data rather than just relations among the data. For example, suppose supermarket cash r...
John McCarthy
AI
2005
Springer
13 years 5 months ago
Explorations in engagement for humans and robots
This paper explores the concept of engagement, the process by which individuals in an interaction start, maintain and end their perceived connection one another. The paper reports...
Candace L. Sidner, Christopher Lee, Cory D. Kidd, ...
BPM
2006
Springer
113views Business» more  BPM 2006»
13 years 9 months ago
Process Equivalence: Comparing Two Process Models Based on Observed Behavior
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...
Wil M. P. van der Aalst, Ana Karla A. de Medeiros,...