Sciweavers

3458 search results - page 425 / 692
» Abstracting Control
Sort
View
KI
2004
Springer
15 years 10 months ago
Decision-Theoretic Planning for Playing Table Soccer
Abstract. Table soccer (also called “foosball”) is much simpler than real soccer. Nevertheless, one faces the same challenges as in all other robotics domains. Sensors are nois...
Moritz Tacke, Thilo Weigel, Bernhard Nebel
PAM
2004
Springer
15 years 10 months ago
Inferring Queue Sizes in Access Networks by Active Measurement
Abstract. Router queues can impact both round-trip times and throughput. Yet little is publicly known about queue provisioning employed by Internet services providers for the route...
Mark Claypool, Robert E. Kinicki, Mingzhe Li, Jame...
PARA
2004
Springer
15 years 10 months ago
HPC-ICTM: The Interval Categorizer Tessellation-Based Model for High Performance Computing
Abstract. This paper presents the Interval Categorizer Tessellationbased Model (ICTM) for the simultaneous categorization of geographic regions considering several characteristics ...
Marilton S. de Aguiar, Graçaliz Pereira Dim...
PROFES
2004
Springer
15 years 10 months ago
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
Sergiy A. Vilkomir, Aditya K. Ghose
SCN
2004
Springer
121views Communications» more  SCN 2004»
15 years 10 months ago
ECRYPT: The Cryptographic Research Challenges for the Next Decade
Abstract. In the past thirty years, cryptology has evolved from a secret art to a modern science. Weaker algorithms and algorithms with short keys are disappearing, political contr...
Bart Preneel