Sciweavers

1309 search results - page 158 / 262
» Revenue management: Models and methods
Sort
View
KDD
2002
ACM
109views Data Mining» more  KDD 2002»
15 years 12 months ago
Topics in 0--1 data
Large 0-1 datasets arise in various applications, such as market basket analysis and information retrieval. We concentrate on the study of topic models, aiming at results which in...
Ella Bingham, Heikki Mannila, Jouni K. Seppän...
CP
1995
Springer
15 years 3 months ago
Integrating Constraints in an Object-Based Knowledge Representation System
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
Jérôme Gensel
CLEF
2008
Springer
15 years 1 months ago
UniNE at Domain-Specific IR - CLEF 2008
Our first objective in participating in this domain-specific evaluation campaign is to propose and evaluate various indexing and search strategies for the German, English and Russ...
Claire Fautsch, Ljiljana Dolamic, Jacques Savoy
ENTCS
2007
121views more  ENTCS 2007»
14 years 11 months ago
Incremental Parametric Development of Greedy Algorithms
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
Dominique Cansell, Dominique Méry
IEEEPACT
2006
IEEE
15 years 5 months ago
Compiling for stream processing
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
Abhishek Das, William J. Dally, Peter R. Mattson