Sciweavers

69 search results - page 9 / 14
» FPGA-based implementation and comparison of recursive and it...
Sort
View
IROS
2007
IEEE
141views Robotics» more  IROS 2007»
14 years 1 months ago
Laser tracking of human body motion using adaptive shape modeling
— In this paper we present a method for determining body orientation and pose information from laser scanner data using particle filtering with an adaptive modeling algorithm. A...
Dylan F. Glas, Takahiro Miyashita, Hiroshi Ishigur...
VOSS
2004
Springer
118views Mathematics» more  VOSS 2004»
14 years 1 days ago
Serial Disk-based Analysis of Large Stochastic Models
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
Rashid Mehmood
ECAI
2006
Springer
13 years 10 months ago
Least Squares SVM for Least Squares TD Learning
Abstract. We formulate the problem of least squares temporal difference learning (LSTD) in the framework of least squares SVM (LS-SVM). To cope with the large amount (and possible ...
Tobias Jung, Daniel Polani
ICISC
2004
120views Cryptology» more  ICISC 2004»
13 years 8 months ago
Efficient Computation of Tate Pairing in Projective Coordinate over General Characteristic Fields
Abstract. We consider the use of Jacobian coordinates for Tate pairing over general characteristics. The idea of encapsulated double-andline computation and add-and-line computatio...
Sanjit Chatterjee, Palash Sarkar, Rana Barua
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 27 days ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh