10182 search results - page 344 / 2037 » Case Studies |
146
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. We consider the line planning problem in public transportation, under a robustness perspective. We present a mechanism for robust line planning in the case of multiple li...
188
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—A critical function of wireless sensor networks (WSNs) is data gathering. While, one is often only interested in collecting a relevant function of the sensor measurements at a s...
146
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires reasoning at the meta-level. There is a particularly elegan...
168
click to vote
ISER
2004
Springer
16 years 4 days ago
2004
Springer
This paper presents various procedures that can be used in order to numerically evaluate what the maximum Z−width that can be rendered by a mobile haptic interface will be given ...
168
click to vote
DEXA
2001
Springer
15 years 11 months ago
2001
Springer
Caching issues in meta-search engines are considered. We propose a popularity-driven cache algorithm that utilizes both popularities and reference counters of queries to determine ...