Sciweavers

10891 search results - page 1949 / 2179
» Combining Model Reductions
Sort
View
93
Voted
IJNSEC
2006
113views more  IJNSEC 2006»
15 years 21 days ago
An Identity-based Mediated Signature Scheme from Bilinear Pairing
It has always been a critical issue to find efficient methods for fast revocation of a user's identity in identity (ID)based cryptosystems. Unfortunately, none of the previou...
Xiangguo Cheng, Lifeng Guo, Xinmei Wang
JAR
2008
107views more  JAR 2008»
15 years 21 days ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
IJRR
2006
183views more  IJRR 2006»
15 years 21 days ago
Bayesian Occupancy Filtering for Multitarget Tracking: An Automotive Application
Reliable and efficient perception and reasoning in dynamic and densely cluttered environments are still major challenges for driver assistance systems. Most of today's system...
Christophe Coué, Cédric Pradalier, C...
106
Voted
IJRR
2006
172views more  IJRR 2006»
15 years 21 days ago
A Haptic Teleoperation Approach Based on Contact Force Control
This paper presents a new teleoperation approach using a virtual spring, and local contact force control on the slave robot. The operational space framework provides the control s...
Jaeheung Park, Oussama Khatib
CORR
2007
Springer
104views Education» more  CORR 2007»
15 years 21 days ago
Searching for low weight pseudo-codewords
— Belief Propagation (BP) and Linear Programming (LP) decodings of Low Density Parity Check (LDPC) codes are discussed. We summarize results of instanton/pseudo-codeword approach...
Michael Chertkov, Mikhail G. Stepanov
« Prev « First page 1949 / 2179 Last » Next »