Sciweavers

1655 search results - page 271 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
ICDM
2010
IEEE
172views Data Mining» more  ICDM 2010»
14 years 7 months ago
Learning Attribute-to-Feature Mappings for Cold-Start Recommendations
Cold-start scenarios in recommender systems are situations in which no prior events, like ratings or clicks, are known for certain users or items. To compute predictions in such ca...
Zeno Gantner, Lucas Drumond, Christoph Freudenthal...
WSC
2008
15 years 2 days ago
A simulation based approach for dock allocation in a food distribution center
This research endeavor focused on the warehouse receiving process at a large food distribution center, which comprises of trucks with goods reaching the destination warehouse, unl...
Balagopal Gopakumar, Suvarna Sundaram, Shengyong W...
CAV
2007
Springer
86views Hardware» more  CAV 2007»
15 years 4 months ago
From Liveness to Promptness
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
WWW
2007
ACM
15 years 10 months ago
Why we search: visualizing and predicting user behavior
The aggregation and comparison of behavioral patterns on the WWW represent a tremendous opportunity for understanding past behaviors and predicting future behaviors. In this paper...
Eytan Adar, Daniel S. Weld, Brian N. Bershad, Stev...
DAC
1999
ACM
15 years 2 months ago
Cycle and Phase Accurate DSP Modeling and Integration for HW/SW Co-Verification
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
Lisa M. Guerra, Joachim Fitzner, Dipankar Talukdar...