Sciweavers

960 search results - page 177 / 192
» Abstract expressionism for parallel performance
Sort
View
CLEF
2010
Springer
14 years 10 months ago
Multimedia Search with Noisy Modalities: Fusion and Multistage Retrieval
Abstract. We report our experiences from participating to the controlled experiment of the ImageCLEF 2010 Wikipedia Retrieval task. We built an experimental search engine which com...
Avi Arampatzis, Savvas A. Chatzichristofis, Konsta...
ASAP
2010
IEEE
185views Hardware» more  ASAP 2010»
14 years 9 months ago
ImpEDE: A multidimensional design-space exploration framework for biomedical-implant processors
Abstract—The demand for biomedical implants keeps increasing. However, most of the current implant design methodologies involve custom-ASIC design. The SiMS project aims to chang...
Dhara Dave, Christos Strydis, Georgi Gaydadjiev
FAC
2008
108views more  FAC 2008»
14 years 9 months ago
Property-directed incremental invariant generation
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
Aaron R. Bradley, Zohar Manna
74
Voted
CORR
2007
Springer
91views Education» more  CORR 2007»
14 years 9 months ago
The Kinetostatic Optimization of a Novel Prismatic Drive
Abstract—The design of a mechanical transmission taking into account the transmitted forces is reported in this paper. This transmission is based on Slide-o-Cam, a cam mechanism ...
Damien Chablat, Stéphane Caro
TIP
2008
175views more  TIP 2008»
14 years 9 months ago
Algorithmic and Architectural Optimizations for Computationally Efficient Particle Filtering
Abstract--In this paper, we analyze the computational challenges in implementing particle filtering, especially to video sequences. Particle filtering is a technique used for filte...
Aswin C. Sankaranarayanan, Ankur Srivastava, Rama ...