Sciweavers

792 search results - page 65 / 159
» An Algorithmic Method for Reducing Conductance-based Neuron ...
Sort
View
134
Voted
DAC
2006
ACM
15 years 8 months ago
Buffer memory optimization for video codec application modeled in Simulink
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
Sang-Il Han, Xavier Guerin, Soo-Ik Chae, Ahmed Ami...
ACSD
2010
IEEE
251views Hardware» more  ACSD 2010»
15 years 20 days ago
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, L...
117
Voted
ICRA
2009
IEEE
170views Robotics» more  ICRA 2009»
15 years 9 months ago
Surface model reconstruction of 3D objects from multiple views
— A points surface reconstruction algorithm of 3D object models from multiple silhouettes is proposed in this paper. Some images of the target object are taken from a circular tr...
Vincenzo Lippiello, Fabio Ruggiero
132
Voted
AAAI
2008
15 years 5 months ago
Exploiting Causal Independence Using Weighted Model Counting
Previous studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be...
Wei Li 0002, Pascal Poupart, Peter van Beek
107
Voted
IJCAI
1997
15 years 4 months ago
Model Minimization, Regression, and Propositional STRIPS Planning
Propositional STRIPS planning problems can be viewed as finite state automata (FSAs) represented in a factored form. Automaton minimization is a well-known technique for reducing ...
Robert Givan, Thomas Dean