Sciweavers

5200 search results - page 261 / 1040
» Symbolic models for control systems
Sort
View
ICDE
2007
IEEE
144views Database» more  ICDE 2007»
15 years 10 months ago
Control Theory: a Foundational Technique for Self Managing Databases
Control theory is a well established discipline that has emerged from aeronautical, electrical, and mechanical engineering to provide a formal approach to building robust systems....
Sam Lightstone, Maheswaran Surendra, Yixin Diao, S...
IJRR
2000
129views more  IJRR 2000»
15 years 4 months ago
Development and Control of a Holonomic Mobile Robot for Mobile Manipulation Tasks
International Journal of Robotics Research, v 19, n 11, p. 1066-1074 Mobile manipulator systems hold promise in many industrial and service applications including assembly, inspec...
Robert Holmberg, Oussama Khatib
CANS
2009
Springer
136views Cryptology» more  CANS 2009»
15 years 11 months ago
Verifying Anonymous Credential Systems in Applied Pi Calculus
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
Xiangxi Li, Yu Zhang, Yuxin Deng
GLOBECOM
2008
IEEE
15 years 4 months ago
Novel Rateless Coded Selection Cooperation in Dual-Hop Relaying Systems
Selection cooperation is proposed for rateless coded relaying by developing a novel low-complexity protocol that exploits all source-destination, source-relay, and relay-destinatio...
Reza Nikjah, Norman C. Beaulieu
JSAC
2006
103views more  JSAC 2006»
15 years 4 months ago
Performance analysis of M-ary PPM TH-UWB systems in the presence of MUI and timing jitter
The symbol error probability (SEP) performance of time-hopping (TH) ultra-wideband (UWB) systems in the presence of multiuser interference (MUI) and timing jitter is considered wit...
N. V. Kokkalis, P. Takis Mathiopoulos, George K. K...