Sciweavers

792 search results - page 97 / 159
» An Algorithmic Method for Reducing Conductance-based Neuron ...
Sort
View
ICCAD
1999
IEEE
148views Hardware» more  ICCAD 1999»
13 years 12 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
VR
2007
IEEE
147views Virtual Reality» more  VR 2007»
14 years 1 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
HAIS
2009
Springer
14 years 9 days 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 ...
BPSC
2009
240views Business» more  BPSC 2009»
13 years 8 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
CVPR
2004
IEEE
14 years 9 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