Sciweavers

2206 search results - page 247 / 442
» On the power of coercion abstraction
Sort
View
CIDM
2011
IEEE
14 years 10 months ago
A GPU-based interactive bio-inspired visual clustering
Abstract—In this work, we present an interactive visual clustering approach for the exploration and analysis of vast volumes of data. The proposed approach is based on a bio-insp...
Ugo Erra, Bernardino Frola, Vittorio Scarano
FCCM
2011
IEEE
251views VLSI» more  FCCM 2011»
14 years 10 months ago
A Scalable Multi-FPGA Platform for Complex Networking Applications
Abstract—Ballooning traffic volumes and increasing linkspeeds require ever high compute power to perform complex real-time processing of network packets. FPGAs have already been...
Sascha Mühlbach, Andreas Koch
SAC
2011
ACM
14 years 9 months ago
Spatial network modeling for databases
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...
Virupaksha Kanjilal, Markus Schneider
SAT
2011
Springer
263views Hardware» more  SAT 2011»
14 years 9 months ago
Failed Literal Detection for QBF
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...
Florian Lonsing, Armin Biere
ACII
2011
Springer
14 years 6 months ago
Expressive Gesture Model for Humanoid Robot
Abstract. This paper presents an expressive gesture model that generates communicative gestures accompanying speech for the humanoid robot Nao. The research work focuses mainly on ...
Le Quoc Anh, Catherine Pelachaud