Sciweavers

1877 search results - page 248 / 376
» A new method for bottleneck detection
Sort
View
IROS
2007
IEEE
100views Robotics» more  IROS 2007»
15 years 4 months ago
Incremental behavior acquisition based on reliability of observed behavior recognition
— We propose a novel approach for acquisition and development of behaviors through observation in multi-agent environment. Observed behaviors of others give fruitful hints for a ...
Tomoki Nishi, Yasutake Takahashi, Minoru Asada
CHES
2008
Springer
144views Cryptology» more  CHES 2008»
15 years 2 days ago
Collision-Based Power Analysis of Modular Exponentiation Using Chosen-Message Pairs
Abstract. This paper proposes new chosen-message power-analysis attacks against public-key cryptosystems based on modular exponentiation, which use specific input pairs to generate...
Naofumi Homma, Atsushi Miyamoto, Takafumi Aoki, Ak...
MICCAI
2007
Springer
15 years 11 months ago
Characterizing Task-Related Temporal Dynamics of Spatial Activation Distributions in fMRI BOLD Signals
We present a new functional magnetic resonance imaging (fMRI) analysis method that incorporates both spatial and temporal dynamics of bloodoxygen-level dependent (BOLD) signals wit...
Bernard Ng, Rafeef Abugharbieh, Samantha J. Palmer...
ISBI
2007
IEEE
15 years 4 months ago
Automatic Segmentation of Nuclei in 3d Microscopy Images of C.Elegans
Automatic segmentation of nuclei in 3D microscopy images is essential for many biological studies including high throughput analysis of gene expression level, morphology, and phen...
Fuhui Long, Hanchuan Peng, Eugene W. Myers
DAC
2010
ACM
15 years 2 months ago
An AIG-Based QBF-solver using SAT for preprocessing
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
Florian Pigorsch, Christoph Scholl