Sciweavers

86 search results - page 5 / 18
» cc 2008
Sort
View
EOR
2008
66views more  EOR 2008»
13 years 6 months ago
A note on "Two-warehouse inventory model with deterioration under FIFO dispatch policy"
A recently published paper by Lee [C.C. Lee, Two-warehouse inventory model with deterioration under FIFO dispatching policy, European Journal of Operational Research 174 (2006) 86...
Bo Niu, Jinxing Xie
CC
2008
Springer
111views System Software» more  CC 2008»
13 years 8 months ago
Java Bytecode Verification for @NonNull Types
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...
Chris Male, David J. Pearce, Alex Potanin, Constan...
JBI
2008
104views Bioinformatics» more  JBI 2008»
13 years 6 months ago
Ontology-enhanced automatic chief complaint classification for syndromic surveillance
Emergency department free-text chief complaints (CCs) are a major data source for syndromic surveillance. CCs need to be classified into syndromic categories for subsequent automa...
Hsin-Min Lu, Daniel Zeng, Lea Trujillo, Ken Komats...
CC
2008
Springer
131views System Software» more  CC 2008»
13 years 6 months ago
Exposure-Resilient Extractors and the Derandomization of Probabilistic Sublinear Time
There exists a positive constant < 1 such that for any function T(n) n and for any problem L BPTIME(T(n)), there exists a deterministic algorithm running in poly(T(n)) time w...
Marius Zimand
CC
2008
Springer
150views System Software» more  CC 2008»
13 years 5 months ago
Balancing Syntactically Multilinear Arithmetic Circuits
In their seminal paper, Valiant, Skyum, Berkowitz and Rackoff proved that arithmetic circuits can be balanced [VSBR]. That is, [VSBR] showed that for every arithmetic circuit of ...
Ran Raz, Amir Yehudayoff