Sciweavers

3228 search results - page 539 / 646
» Basics of Compiler Design
Sort
View
MANSCI
2010
106views more  MANSCI 2010»
14 years 10 months ago
Improving Supply Chain Performance and Managing Risk Under Weather-Related Demand Uncertainty
This paper considers a manufacturer-retailer supply chain for a seasonal product whose demand is weather-sensitive. The retailer orders from the manufacturer (supplier) prior to t...
Frank Youhua Chen, Candace Arai Yano
PAMI
2010
200views more  PAMI 2010»
14 years 10 months ago
Learning Context-Sensitive Shape Similarity by Graph Transduction
—Shape similarity and shape retrieval are very important topics in computer vision. The recent progress in this domain has been mostly driven by designing smart shape descriptors...
Xiang Bai, Xingwei Yang, Longin Jan Latecki, Wenyu...
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
14 years 10 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King
ACSD
2010
IEEE
219views Hardware» more  ACSD 2010»
14 years 9 months ago
The Model Checking View to Clock Gating and Operand Isolation
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep...
BIS
2010
185views Business» more  BIS 2010»
14 years 9 months ago
From Economic Drivers to B2B Process Models: A Mapping from REA to UMM
Inter-organizational B2B systems are most likely tending to change their business requirements over time - e.g. establishing new partnerships or change existing ones. The problem i...
Rainer Schuster, Thomas Motal, Christian Huemer, H...