Sciweavers

1087 search results - page 139 / 218
» A natural human hand model
Sort
View
ILP
2005
Springer
15 years 11 months ago
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
Yi-Dong Shen, Qiang Yang
IANDC
2010
84views more  IANDC 2010»
15 years 4 months ago
Underapproximation for model-checking based on universal circuits
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit deï...
Arie Matsliah, Ofer Strichman
CSFW
2011
IEEE
14 years 6 months ago
Local Memory via Layout Randomization
—Randomization is used in computer security as a tool to introduce unpredictability into the software infrastructure. In this paper, we study the use of randomization to achieve ...
Radha Jagadeesan, Corin Pitcher, Julian Rathke, Ja...
WSDM
2012
ACM
301views Data Mining» more  WSDM 2012»
14 years 1 months ago
Learning evolving and emerging topics in social media: a dynamic nmf approach with temporal regularization
As massive repositories of real-time human commentary, social media platforms have arguably evolved far beyond passive facilitation of online social interactions. Rapid analysis o...
Ankan Saha, Vikas Sindhwani
IROS
2009
IEEE
134views Robotics» more  IROS 2009»
16 years 28 days ago
FES-controlled co-contraction strategies for pathological tremor compensation
Abstract— In this paper, a strategy for pathological tremor compensation based on co-contraction of antagonist muscles induced by Functional Electrical Stimulation (FES) is prese...
Antônio Padilha Lanari Bo, Philippe Poignet,...