Sciweavers

8671 search results - page 1478 / 1735
» A generator for hierarchical problems
Sort
View
IQ
2007
15 years 8 months ago
Data Quality Aspects Of Revenue Assurance
: Revenue Assurance describes a methodology to increase a company’s income by determining where revenue gets lost, and to maximize their profits by eliminating revenue leakage an...
Katharina Baamann
NIPS
2008
15 years 8 months ago
Reducing statistical dependencies in natural signals using radial Gaussianization
We consider the problem of transforming a signal to a representation in which the components are statistically independent. When the signal is generated as a linear transformation...
Siwei Lyu, Eero P. Simoncelli
OWLED
2008
15 years 8 months ago
HermiT: A Highly-Efficient OWL Reasoner
Abstract. HermiT is a new OWL reasoner based on a novel "hypertableau" calculus. The new calculus addresses performance problems due to nondeterminism and model size--the...
Rob Shearer, Boris Motik, Ian Horrocks
MASCOTS
2007
15 years 8 months ago
Performance Analysis of Wireless MAC Protocols Using a Search Based Framework
—Previously, we have developed a framework to perform systematic analysis of CSMA/CA based wireless MAC protocols. The framework first identifies protocol states that meet our ...
Shamim Begum, Sandeep K. S. Gupta, Ahmed Helmy
SIGSAND
2008
15 years 8 months ago
Advanced Reduction Rules for the Verification of EPC Business Process Models
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
Jan Mendling, Wil M. P. van der Aalst
« Prev « First page 1478 / 1735 Last » Next »