Sciweavers

3443 search results - page 459 / 689
» More Algebras for Determiners
Sort
View
ICCAD
1999
IEEE
109views Hardware» more  ICCAD 1999»
15 years 11 months ago
Body-voltage estimation in digital PD-SOI circuits and its application to static timing analysis
Partially depleted silicon-on-insulator (PD-SOI) has emerged as a technology of choice for high-performance low-power deep-submicrometer digital integrated circuits. An important c...
Kenneth L. Shepard, Dae-Jin Kim
ICRA
1999
IEEE
126views Robotics» more  ICRA 1999»
15 years 11 months ago
Monte Carlo Localization for Mobile Robots
Mobile robot localization is the problem of determining a robot's pose from sensor data. This article presents a family of probabilisticlocalization algorithms known as Monte...
Frank Dellaert, Dieter Fox, Wolfram Burgard, Sebas...
APN
1999
Springer
15 years 11 months ago
Structural Methods to Improve the Symbolic Analysis of Petri Nets
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...
Enric Pastor, Jordi Cortadella, Marco A. Peñ...
INFOCOM
1999
IEEE
15 years 11 months ago
Performance Characteristics of Mirror Servers on the Internet
Abstract--As a growing number of web sites introduce mirrors to increase throughput, the challenge for clients becomes determining which mirror will offer the best performance when...
Andy Myers, Peter A. Dinda, Hui Zhang
ISIPTA
1999
IEEE
139views Mathematics» more  ISIPTA 1999»
15 years 11 months ago
Rational Decision Making With Imprecise Probabilities
Decision criteria based on an imprecise probability representation of uncertainty have been criticized, from the normative point of view, on the grounds that they make the decisio...
Jean-Yves Jaffray