Sciweavers

12774 search results - page 2453 / 2555
» A Framework for Proof Systems
Sort
View
CVGIP
2006
75views more  CVGIP 2006»
15 years 6 months ago
Momentum-based parameterization of dynamic character motion
This paper presents a system for rapid editing of highly dynamic motion capture data. At the heart of this system is an optimization algorithm that can transform the captured moti...
Yeuhi Abe, C. Karen Liu, Zoran Popovic
ESE
2006
154views Database» more  ESE 2006»
15 years 6 months ago
Prioritizing JUnit Test Cases: An Empirical Assessment and Cost-Benefits Analysis
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...
Hyunsook Do, Gregg Rothermel, Alex Kinneer
IJFCS
2008
102views more  IJFCS 2008»
15 years 6 months ago
Succinct Minimal Generators: Theoretical Foundations and Applications
In data mining applications, highly sized contexts are handled what usually results in a considerably large set of frequent itemsets, even for high values of the minimum support t...
Tarek Hamrouni, Sadok Ben Yahia, Engelbert Mephu N...
IS
2008
15 years 6 months ago
Conformance checking of processes based on monitoring real behavior
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
Anne Rozinat, Wil M. P. van der Aalst
CORR
2007
Springer
151views Education» more  CORR 2007»
15 years 6 months ago
Decision tree modeling with relational views
Data mining is a useful decision support technique that can be used to discover production rules in warehouses or corporate data. Data mining research has made much effort to appl...
Fadila Bentayeb, Jérôme Darmont
« Prev « First page 2453 / 2555 Last » Next »