Sciweavers

321 search results - page 57 / 65
» Partitioning by iterative deletion
Sort
View
CP
2010
Springer
13 years 7 months ago
Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows
This paper studies the use of decomposition techniques to quickly find high-quality solutions to large-scale vehicle routing problems with time windows. It considers an adaptive d...
Russell Bent, Pascal Van Hentenryck
DLT
2009
13 years 6 months ago
Closures in Formal Languages and Kuratowski's Theorem
A famous theorem of Kuratowski states that, in a topological space, at most 14 distinct sets can be produced by repeatedly applying the operations of closure and complement to a gi...
Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit
EMNLP
2009
13 years 6 months ago
Semi-Supervised Learning for Semantic Relation Classification using Stratified Sampling Strategy
This paper presents a new approach to selecting the initial seed set using stratified sampling strategy in bootstrapping-based semi-supervised learning for semantic relation class...
Longhua Qian, Guodong Zhou, Fang Kong, Qiaoming Zh...
VC
2011
106views more  VC 2011»
13 years 4 months ago
Width-bounded geodesic strips for surface tiling
Abstract We present an algorithm for computing families of geodesic curves over an open mesh patch to partition the patch into strip-like segments. Specifically, the segments can ...
Joe Kahlert, Matt Olson, Hao Zhang 0002
TII
2010
113views Education» more  TII 2010»
13 years 3 months ago
An Automated Framework for Formal Verification of Timed Continuous Petri Nets
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
Marius Kloetzer, Cristian Mahulea, Calin Belta, Ma...