Sciweavers

1309 search results - page 55 / 262
» Revenue management: Models and methods
Sort
View
IPMU
2010
Springer
15 years 4 months ago
Extracting and Modelling Preferences from Dialogue
Abstract. Dialogue moves influence and are influenced by the agents’ preferences. We propose a method for modelling this interaction. We motivate and describe a recursive metho...
Nicholas Asher, Elise Bonzon, Alex Lascarides
IAW
2003
IEEE
15 years 4 months ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 3 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
KDD
2006
ACM
127views Data Mining» more  KDD 2006»
15 years 11 months ago
Recommendation method for extending subscription periods
Online stores providing subscription services need to extend user subscription periods as long as possible to increase their profits. Conventional recommendation methods recommend...
Tomoharu Iwata, Kazumi Saito, Takeshi Yamada
CIKM
2006
Springer
15 years 2 months ago
Coupling feature selection and machine learning methods for navigational query identification
It is important yet hard to identify navigational queries in Web search due to a lack of sufficient information in Web queries, which are typically very short. In this paper we st...
Yumao Lu, Fuchun Peng, Xin Li, Nawaaz Ahmed