Sciweavers

247 search results - page 17 / 50
» Putting MAP Back on the Map
Sort
View
JDCTA
2010
163views more  JDCTA 2010»
13 years 3 months ago
An Approach to Traffic Volume Forecasting Based on Ant Colony Neural Network
Combining the ant colony algorithm (ACA) and the neural network (NN), the present paper puts forward an approach to traffic volume forecasting based on the ant colony neural netwo...
Hong Chen
POPL
1995
ACM
14 years 8 days ago
A Type System Equivalent to Flow Analysis
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
Jens Palsberg, Patrick O'Keefe
AAAI
1994
13 years 10 months ago
Testing Physical Systems
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
Peter Struss
CORR
2010
Springer
94views Education» more  CORR 2010»
13 years 8 months ago
The Power of Simple Tabulation Hashing
Randomized algorithms are often enjoyed for their simplicity, but the hash functions used to yield the desired theoretical guarantees are often neither simple nor practical. Here ...
Mihai Patrascu, Mikkel Thorup
ETFA
2008
IEEE
14 years 3 months ago
e-based inter-enterprise supply chain Kanban for demand and order fulfilment management
– The philosophy of Kanban is that parts and materials should be supplied at the very moment they are needed in the factory manufacturing process. e-based inter-enterprise supply...
Linton L. S. Chai