68 search results - page 12 / 14 » A Hybrid Exact Algorithm for the TSPTW |
75
Voted
ATVA
2010
Springer
15 years 6 min ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
162
click to vote
ICDE
2008
IEEE
16 years 7 days ago
2008
IEEE
Abstract-- Large graph datasets are common in many emerging database applications, and most notably in large-scale scientific applications. To fully exploit the wealth of informati...
85
Voted
ISBRA
2010
Springer
15 years 5 months ago
2010
Springer
d abstract), Nicola Ferraro, Luigi Palopoli, Simona Panni and Simona E. Rombo. Uncovering Hidden Phylogenetic Consensus d abstract), Nicholas Pattengale, Krister Swenson and Bernar...
106
click to vote
VISUALIZATION
2000
IEEE
15 years 3 months ago
2000
IEEE
Virtual endoscopy presents the cross-sectional acquired 3D-data of a computer tomograph as an endoluminal view. The common approach for the visualization of a virtual endoscopy is...
92
Voted
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
We consider the Bounded Diameter Minimum Spanning Tree problem and describe four neighbourhood searches for it. They are used as local improvement strategies within a variable nei...