Sciweavers

1093 search results - page 180 / 219
» Fast Abstracts
Sort
View
AROBOTS
2010
194views more  AROBOTS 2010»
13 years 6 months ago
Computationally efficient solutions for tracking people with a mobile robot: an experimental evaluation of Bayesian filters
Abstract Modern service robots will soon become an essential part of modern society. As they have to move and act in human environments, it is essential for them to be provided wit...
Nicola Bellotto, Huosheng Hu
ASPDAC
2010
ACM
137views Hardware» more  ASPDAC 2010»
13 years 5 months ago
Energy and performance driven circuit design for emerging phase-change memory
Abstract--Phase-Change Random Access Memory (PRAM) has become one of the most promising emerging memory technologies, due to its attractive features such as high density, fast acce...
Dimin Niu, Yibo Chen, Xiangyu Dong, Yuan Xie
ICCAD
2010
IEEE
117views Hardware» more  ICCAD 2010»
13 years 5 months ago
A synthesis flow for digital signal processing with biomolecular reactions
Abstract--We present a methodology for implementing digital signal processing (DSP) operations such as filtering with biomolecular reactions. From a DSP specification, we demonstra...
Hua Jiang, Aleksandra P. Kharam, Marc D. Riedel, K...
ICGI
2010
Springer
13 years 5 months ago
Exact DFA Identification Using SAT Solvers
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
Marijn J. H. Heule, Sicco Verwer
MICCAI
2010
Springer
13 years 5 months ago
Improving Deformable Surface Meshes through Omni-Directional Displacements and MRFs
Abstract. Deformable surface models are often represented as triangular meshes in image segmentation applications. For a fast and easily regularized deformation onto the target obj...
Dagmar Kainmueller, Hans Lamecker, Heiko Seim, Ste...