Sciweavers

792 search results - page 97 / 159
» An Algorithmic Method for Reducing Conductance-based Neuron ...
Sort
View
148
Voted
ICCAD
1999
IEEE
148views Hardware» more  ICCAD 1999»
15 years 7 months ago
SAT based ATPG using fast justification and propagation in the implication graph
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
Paul Tafertshofer, Andreas Ganz
129
Voted
VR
2007
IEEE
147views Virtual Reality» more  VR 2007»
15 years 9 months ago
Real-time Volumetric Haptic and Visual Burrhole Simulation
This paper describes real-time volumetric haptic and visual algorithms developed to simulate burrhole creation for a Virtual Realitybased craniotomy surgical simulator. A modifie...
Eric Acosta, Alan Liu
141
Voted
HAIS
2009
Springer
15 years 7 months ago
Unsupervised Feature Selection in High Dimensional Spaces and Uncertainty
Developing models and methods to manage data vagueness is a current effervescent research field. Some work has been done with supervised problems but unsupervised problems and unce...
José Ramón Villar, María del ...
153
Voted
BPSC
2009
240views Business» more  BPSC 2009»
15 years 3 months ago
Modelling and Solving Configuration Problems on Business Processes Using a Multi-Level Constraint Satisfaction Approach
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
Wolfgang Runte
144
Voted
CVPR
2004
IEEE
16 years 4 months ago
Efficient Belief Propagation for Early Vision
Markov random field models provide a robust and unified framework for early vision problems such as stereo, optical flow and image restoration. Inference algorithms based on graph...
Pedro F. Felzenszwalb, Daniel P. Huttenlocher