Sciweavers

29143 search results - page 499 / 5829
» A Sortation System Model
Sort
View
PPDP
2004
Springer
16 years 7 days ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
HYBRID
2007
Springer
16 years 1 months ago
Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...
Lars Blackmore, Askar Bektassov, Masahiro Ono, Bri...
WISER
2004
ACM
16 years 9 days ago
Hardware/software co-design for power system test development
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...
Austin Armbruster, Matt Ryan, Xiaoqing Frank Liu, ...
EUROCAST
2003
Springer
154views Hardware» more  EUROCAST 2003»
16 years 3 days ago
Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System
In this paper we describe an adaptation method for adaptive hypermedia systems, consisting in personalized guided routes for the SEM-HP model. SEM-HP is a layered, systemic, semant...
Nuria Medina-Medina, Fernando Molina-Ortiz, Lina G...
KDD
2008
ACM
155views Data Mining» more  KDD 2008»
16 years 7 months ago
Factorization meets the neighborhood: a multifaceted collaborative filtering model
Recommender systems provide users with personalized suggestions for products or services. These systems often rely on Collaborating Filtering (CF), where past transactions are ana...
Yehuda Koren