Sciweavers

1822 search results - page 185 / 365
» The Method of Assigning Incidences
Sort
View
CPAIOR
2005
Springer
16 years 16 days ago
Group Construction for Airline Cabin Crew: Comparing Constraint Programming with Branch and Price
Producing work schedules for airline crew normally results in individually different schedules. Some airlines do however want to give the same schedule to groups of people. The con...
Jesper Hansen, Tomas Lidén
AI
2004
Springer
16 years 15 days ago
A Hybrid Schema for Systematic Local Search
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...
William S. Havens, Bistra N. Dilkina
ECCV
2004
Springer
16 years 14 days ago
Multi-label Image Segmentation for Medical Applications Based on Graph-Theoretic Electrical Potentials
Abstract. A novel method is proposed for performing multi-label, semi-automated image segmentation. Given a small number of pixels with user-defined labels, one can analytically (...
Leo Grady, Gareth Funka-Lea
ATS
2003
IEEE
98views Hardware» more  ATS 2003»
16 years 11 days ago
Automatic Design Validation Framework for HDL Descriptions via RTL ATPG
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
Liang Zhang, Michael S. Hsiao, Indradeep Ghosh
133
Voted
ICAT
2003
IEEE
16 years 11 days ago
A Haptic Navigation System for Supporting Master-Slave Robotic Surgery
Conventional display in robotic surgery such as flat displays or stereoscopic displays decreases obtainable information around target tissue. For supporting manipulation and perfo...
Megumi Nakao, Tomohiro Kuroda, Hiroshi Oyama