Sciweavers

1813 search results - page 55 / 363
» Instance Pruning Techniques
Sort
View
DATE
2005
IEEE
176views Hardware» more  DATE 2005»
15 years 5 months 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
CBMS
2004
IEEE
15 years 3 months ago
Image Analysis Techniques for the Automated Evaluation of Subaxial Subluxation in Cervical Spine X-ray Images
Rheumatoid arthritis is a chronic inflammatory disease affecting synovial joints of the body, especially the hands and feet, spine, knees and hips. For many patients, the cervical...
R. Joe Stanley, Santhosh Seetharaman, L. Rodney Lo...
SERP
2007
15 years 1 months ago
Architecture and Design Pattern Discovery Techniques - A Review
Architecture and design patterns, as demonstrated solutions to recurring problems, have proved practically important and useful in the process of software development. They have b...
Jing Dong, Yajing Zhao, Tu Peng
ATMOS
2010
150views Optimization» more  ATMOS 2010»
14 years 10 months ago
Dynamic Graph Generation and Dynamic Rolling Horizon Techniques in Large Scale Train Timetabling
The aim of the train timetabling problem is to find a conflict free timetable for a set of passenger and freight trains along their routes in an infrastructure network. Several ...
Frank Fischer, Christoph Helmberg
ISAAC
2004
Springer
91views Algorithms» more  ISAAC 2004»
15 years 5 months ago
Techniques for Indexing and Querying Temporal Observations for a Collection of Objects
We consider the problem of dynamically indexing temporal observations about a collection of objects, each observation consisting of a key identifying the object, a list of attribu...
Qingmin Shi, Joseph JáJá