Sciweavers

1257 search results - page 105 / 252
» Simplifying spline models
Sort
View
ICRA
2009
IEEE
159views Robotics» more  ICRA 2009»
16 years 1 months ago
Tendon-based transmission systems for robotic devices: Models and control algorithms
— Tendon-based transmission systems present many positive aspects and greatly simplify the mechanical design of small robotic devices, such as robotic fingers. On the other hand...
Gianluca Palli, Gianni Borghesan, Claudio Melchior...
CSFW
2007
IEEE
16 years 22 days ago
LTL Model Checking for Security Protocols
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
Alessandro Armando, Roberto Carbone, Luca Compagna
ICC
2007
IEEE
125views Communications» more  ICC 2007»
16 years 22 days ago
Scalable Fault Diagnosis in IP Networks using Graphical Models: A Variational Inference Approach
In this paper we investigate the fault diagnosis problem in IP networks. We provide a lower bound on the average number of probes per edge using variational inference technique pro...
Rajesh Narasimha, Souvik Dihidar, Chuanyi Ji, Stev...
DATE
2006
IEEE
126views Hardware» more  DATE 2006»
16 years 13 days ago
Analysis and modeling of power grid transmission lines
Power distribution and signal transmission are becoming key limiters for chip performance in nanometer era. These issues can be simultaneously addressed by designing transmission ...
J. Balachandran, Steven Brebels, G. Carchon, T. We...
ASP
2003
Springer
15 years 11 months ago
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
Thomas Eiter, Michael Fink, Hans Tompits, Stefan W...