Sciweavers

1940 search results - page 86 / 388
» Eurostore - Initial Design and First Results
Sort
View
INFOCOM
2000
IEEE
15 years 10 months ago
A Measurement-Based Admission-Controlled Web Server
Current HTTP servers process requests using a first come first serve queuing policy. What this implies is that the web server must process each request as it arrives. The result is...
Kelvin Li, Sugih Jamin
GIS
2010
ACM
15 years 4 months ago
A data stream-based evaluation framework for traffic information systems
Traffic information systems based on mobile, in-car sensor technology are a challenge for data management systems as a huge amount of data has to be processed in real-time. Data m...
Sandra Geisler, Christoph Quix, Stefan Schiffer
DAC
2001
ACM
16 years 7 months ago
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukul...
EDM
2010
142views Data Mining» more  EDM 2010»
15 years 7 months ago
A Data Model to Ease Analysis and Mining of Educational Data
Learning software is not designed for data analysis and mining. Because usage data is not stored in a systematic way, its thorough analysis requires long and tedious preprocessing....
André Krüger, Agathe Merceron, Benjami...
CORR
2002
Springer
102views Education» more  CORR 2002»
15 years 6 months ago
Quantum Lower Bound for Recursive Fourier Sampling
One of the earliest quantum algorithms was discovered by Bernstein and Vazirani, for a problem called Recursive Fourier Sampling. This paper shows that the Bernstein-Vazirani algo...
Scott Aaronson