Sciweavers

440 search results - page 22 / 88
» Direct Interesting Rule Generation
Sort
View
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
14 years 3 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
ICPR
2006
IEEE
14 years 11 months ago
Robust Recursive Learning for Foreground Region Detection in Videos with Quasi-Stationary Backgrounds
Detecting regions of interest in video sequences is the most important task in many high level video processing applications. In this paper a robust technique based on recursive l...
Alireza Tavakkoli, George Bebis, Mircea Nicolescu
ICTAI
2007
IEEE
14 years 4 months ago
Exploratory Quantitative Contrast Set Mining: A Discretization Approach
Contrast sets have been shown to be a useful tool for describing differences between groups. A contrast set is a set of association rules for which the antecedents describe distin...
Mondelle Simeon, Robert J. Hilderman
ECAI
1998
Springer
14 years 2 months ago
Metaprogramming Forced Moves
Knowledge about forced moves enables to select a small number of moves from the set of possible moves. It is very important in complex domains where search trees have a large branc...
Tristan Cazenave
ICSE
2009
IEEE-ACM
14 years 10 months ago
Improving API documentation usability with knowledge pushing
The documentation of API functions typically conveys detailed specifications for the benefit of interested readers. In some cases, however, it also contains usage directives, such...
Uri Dekel, James D. Herbsleb