Sciweavers

3715 search results - page 624 / 743
» A Space Optimization for FP-Growth
Sort
View
WCE
2007
13 years 9 months ago
A Patch-by-Patch Shape Matching Procedure for Rigid Body Docking
Abstract—Docking simulates molecular interactions. Protein - protein docking, owing to the sizes of molecules, is a very challenging problem. As the number of degrees of freedom ...
Vipin K. Tripathi
3DPH
2009
163views Healthcare» more  3DPH 2009»
13 years 9 months ago
Discriminative Human Full-Body Pose Estimation from Wearable Inertial Sensor Data
Abstract. In this paper, a method is presented that allows reconstructing the full-body pose of a person in real-time, based on the limited input from a few wearable inertial senso...
Loren Arthur Schwarz, Diana Mateus, Nassir Navab
ATAL
2010
Springer
13 years 9 months ago
Quasi deterministic POMDPs and DecPOMDPs
In this paper, we study a particular subclass of partially observable models, called quasi-deterministic partially observable Markov decision processes (QDET-POMDPs), characterize...
Camille Besse, Brahim Chaib-draa
CSL
2010
Springer
13 years 9 months ago
Energy and Mean-Payoff Games with Imperfect Information
We consider two-player games with imperfect information and quantitative objective. The game is played on a weighted graph with a state space partitioned into classes of indistingu...
Aldric Degorre, Laurent Doyen, Raffaella Gentilini...
FSTTCS
2008
Springer
13 years 9 months ago
Runtime Monitoring of Metric First-order Temporal Properties
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
David A. Basin, Felix Klaedtke, Samuel Müller...