Sciweavers

1257 search results - page 105 / 252
» Simplifying spline models
Sort
View
136
Voted
ICRA
2009
IEEE
159views Robotics» more  ICRA 2009»
15 years 10 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...
144
Voted
CSFW
2007
IEEE
15 years 9 months 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»
15 years 9 months 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»
15 years 9 months 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 8 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...