1750 search results - page 92 / 350 » E-Commerce Development Procedure |
101
Voted
FLAIRS
1998
15 years 5 months ago
1998
Many techniques of finding possible diagnoses of faulty technical systems involve two sequential steps. First compute the collection of all minimal conflict sets, then transform t...
125
Voted
FTCS
1998
15 years 5 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
107
Voted
WSC
1998
15 years 5 months ago
1998
This paper discusses the evaluation of adaptive traffic signal control using TSIS/CORSIM. The paper reviews three adaptive control strategies that have been developed through cont...
131
Voted
WSC
2000
15 years 4 months ago
2000
This paper presents the development and simulation of a novel Genetic Algorithm (GA) based methodology applied to optimal tuning of a fuzzy dispatching system for a fleet of autom...
126
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose a novel dependent hierarchical Pitman-Yor process model for discrete data. An incremental Monte Carlo inference procedure for this model is developed. We show that infe...