Sciweavers

5799 search results - page 265 / 1160
» Health-OS: : a position paper
Sort
View
ICRA
2009
IEEE
106views Robotics» more  ICRA 2009»
16 years 1 months ago
Inverse kinematics with closed form solutions for highly redundant robotic systems
— This paper presents inverse position kinematics algorithms with real time capability for Justin, a robotic system with high redundancy and many degrees of freedom. The combinat...
Rainer Konietschke, Gerd Hirzinger
IROS
2009
IEEE
145views Robotics» more  IROS 2009»
16 years 1 months ago
Action-related place-based mobile manipulation
— In mobile manipulation, the position to which the robot navigates has a large influence on the ease with which a subsequent manipulation action can be performed. Whether a man...
Freek Stulp, Andreas Fedrizzi, Michael Beetz
RAID
2009
Springer
16 years 1 months ago
Protecting a Moving Target: Addressing Web Application Concept Drift
Because of the ad hoc nature of web applications, intrusion detection systems that leverage machine learning techniques are particularly well-suited for protecting websites. The re...
Federico Maggi, William K. Robertson, Christopher ...
SAT
2009
Springer
94views Hardware» more  SAT 2009»
16 years 1 months ago
Solving SAT for CNF Formulas with a One-Sided Restriction on Variable Occurrences
In this paper we consider the class of boolean formulas in Conjunctive Normal Form (CNF) where for each variable all but at most d occurrences are either positive or negative. This...
Daniel Johannsen, Igor Razgon, Magnus Wahlströ...
DSN
2008
IEEE
16 years 1 months ago
Using likely program invariants to detect hardware errors
In the near future, hardware is expected to become increasingly vulnerable to faults due to continuously decreasing feature size. Software-level symptoms have previously been used...
Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandr...