Sciweavers

696 search results - page 76 / 140
» Explaining abstract counterexamples
Sort
View
JCSS
1998
51views more  JCSS 1998»
15 years 3 months ago
Randomized Query Processing in Robot Path Planning
d Abstract) LYDIA E. KAVRAKI   JEAN-CLAUDE LATOMBE   RAJEEV MOTWANI ¡ PRABHAKAR RAGHAVAN ¢ The subject of this paper is the analysis of a randomized preprocessing scheme that ...
Lydia E. Kavraki, Jean-Claude Latombe, Rajeev Motw...
JUCS
2002
103views more  JUCS 2002»
15 years 3 months ago
Knowledge Nodes: the Building Blocks of a Distributed Approach to Knowledge
Abstract: In this paper, we criticise the objectivistic approach that underlies most current systems for Knowledge Management. We show that such an approach is incompatible with th...
Matteo Bonifacio, Paolo Bouquet, Roberta Cuel
117
Voted
TIT
2002
77views more  TIT 2002»
15 years 3 months ago
Capacity-achieving sequences for the erasure channel
Abstract-- This paper starts a systematic study of capacityachieving sequences of low-density parity-check codes for the erasure channel. We introduce a class Aof analytic function...
P. Oswald, A. Shokrollahi
115
Voted
EUROMED
2010
15 years 1 months ago
Accuracy Verification of Manual 3D CG Reconstruction: Case Study of Destroyed Architectural Heritage, Bam Citadel
Abstract. We explain our approach for verifying the accuracy of 3D CG manual modeling of the Citadel of Bam, which is an architectural heritage site destroyed by an earthquake in 2...
Mohammad Reza Matini, Kinji Ono
115
Voted
ICRA
2010
IEEE
104views Robotics» more  ICRA 2010»
15 years 1 months ago
Design of a small-scale tactile sensor with three sensing points for using in robotic fingertips
Abstract— This paper describes our initial research on development of a tactile sensor, which can be employed in anthropomorphic soft fingertips, with multi-sensing points that ...
Van Anh Ho, Dzung Viet Dao, Susumu Sugiyama, Shini...