Sciweavers

206 search results - page 5 / 42
» Automated neuron model optimization techniques: a review
Sort
View
DLOG
2000
13 years 8 months ago
Optimizing TBox and ABox Reasoning with Pseudo Models
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...
Volker Haarslev, Ralf Möller
DAC
2002
ACM
14 years 8 months ago
An optimal voltage synthesis technique for a power-efficient satellite application
This paper presents an optimal voltage synthesis technique for a satellite application to maximize system performance subject to energy budget. A period of a satellite's orbi...
Dong-In Kang, Jinwoo Suh, Stephen P. Crago
NIPS
2004
13 years 8 months ago
Spike Sorting: Bayesian Clustering of Non-Stationary Data
Spike sorting involves clustering spike trains recorded by a microelectrode according to the source neuron. It is a complicated problem, which requires a lot of human labor, partl...
Aharon Bar-Hillel, Adam Spiro, Eran Stark
TITB
2002
172views more  TITB 2002»
13 years 7 months ago
Shape recovery algorithms using level sets in 2-D/3-D medical imagery: a state-of-the-art review
The class of geometric deformable models, also known as level sets, has brought tremendous impact to medical imagery due to its capability of topology preservation and fast shape r...
Jasjit S. Suri, Kecheng Liu, Sameer Singh, Swamy L...
DATE
2005
IEEE
176views Hardware» more  DATE 2005»
14 years 29 days ago
Effective Lower Bounding Techniques for Pseudo-Boolean Optimization
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
Vasco M. Manquinho, João P. Marques Silva