Sciweavers

3211 search results - page 412 / 643
» In Search of the Bullwhip Effect
Sort
View
AICOM
2010
92views more  AICOM 2010»
15 years 6 months ago
SOLAR: An automated deduction system for consequence finding
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, O...
CORR
2010
Springer
182views Education» more  CORR 2010»
15 years 6 months ago
Semantic Modeling and Retrieval of Dance Video Annotations
Dance video is one of the important types of narrative videos with semantic rich content. This paper proposes a new meta model, Dance Video Content Model (DVCM) to represent the ex...
Kannan Rajkumar, Balakrishnan Ramadoss
CONSTRAINTS
2008
90views more  CONSTRAINTS 2008»
15 years 6 months ago
Combining Tree Partitioning, Precedence, and Incomparability Constraints
The tree constraint partitions a directed graph into node-disjoint trees. In many practical applications that involve such a partition, there exist side constraints specifying requ...
Nicolas Beldiceanu, Pierre Flener, Xavier Lorca
CORR
2010
Springer
142views Education» more  CORR 2010»
15 years 6 months ago
A Fault Analytic Method against HB+
The search for lightweight authentication protocols suitable for low-cost RFID tags constitutes an active and challenging research area. In this context, a family of protocols base...
Jose Carrijo, Rafael Tonicelli, Anderson C. A. Nas...
DKE
2008
87views more  DKE 2008»
15 years 6 months ago
Region clustering based evaluation of multiple top-N selection queries
In many database applications, there are opportunities for multiple top-N queries to be evaluated at the same time. Often it is more cost effective to evaluate multiple such queri...
Liang Zhu, Weiyi Meng, Wenzhu Yang, Chunnian Liu