Sciweavers

1083 search results - page 179 / 217
» On the Number of Optimal Base 2 Representations of Integers
Sort
View
83
Voted
QEST
2007
IEEE
15 years 4 months ago
GRIP: Generic Representatives in PRISM
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
Alastair F. Donaldson, Alice Miller, David Parker
102
Voted
CVPR
2007
IEEE
15 years 11 months ago
Learning a Spatially Smooth Subspace for Face Recognition
Subspace learning based face recognition methods have attracted considerable interests in recently years, including Principal Component Analysis (PCA), Linear Discriminant Analysi...
Deng Cai, Xiaofei He, Yuxiao Hu, Jiawei Han, Thoma...
105
Voted
NIPS
2008
14 years 11 months ago
Goal-directed decision making in prefrontal cortex: a computational framework
Research in animal learning and behavioral neuroscience has distinguished between two forms of action control: a habit-based form, which relies on stored action values, and a goal...
Matthew Botvinick, James An
BIOCOMP
2008
14 years 11 months ago
Reverse Engineering Module Networks by PSO-RNN Hybrid Modeling
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...
Yuji Zhang, Jianhua Xuan, Benildo de los Reyes, Ro...
102
Voted
BILDMED
2003
176views Algorithms» more  BILDMED 2003»
14 years 11 months ago
Volumetric Meshes for Real-Time Medical Simulations
We present an approach to generating volumetric meshes from closed triangulated surface meshes. The approach initially generates a structured hexahedral mesh based on the bounding ...
Matthias Müller, Matthias Teschner