Sciweavers

849 search results - page 107 / 170
» The Early Restart Algorithm
Sort
View
AIPS
2004
13 years 10 months ago
Iterative Relaxations for Iterative Flattening in Cumulative Scheduling
Cumulative scheduling is a generalization of jobshop scheduling, where machines have discrete capacities and activities may require several capacity units. This paper considers it...
Laurent Michel, Pascal Van Hentenryck
GECCO
2008
Springer
155views Optimization» more  GECCO 2008»
13 years 9 months ago
Modularity and symmetry in computational embryogeny
Modularity and symmetry are two properties observed in almost every engineering and biological structure. The origin of these properties in nature is still unknown. Yet, as engine...
Or Yogev, Andrew A. Shapiro, Erik K. Antonsson
CORR
2010
Springer
133views Education» more  CORR 2010»
13 years 8 months ago
Adapting to the Shifting Intent of Search Queries
Search engines today present results that are often oblivious to recent shifts in intent. For example, the meaning of the query `independence day' shifts in early July to a U...
Umar Syed, Aleksandrs Slivkins, Nina Mishra
ENTCS
2008
91views more  ENTCS 2008»
13 years 8 months ago
A Name Abstraction Functor for Named Sets
bstraction Functor for Named Sets Vincenzo Ciancia 1 Ugo Montanari 1 Department of Computer Science University of Pisa lem of dening fully abstract operational models of name pass...
Vincenzo Ciancia, Ugo Montanari
FMSD
2006
103views more  FMSD 2006»
13 years 8 months ago
Compositional SCC Analysis for Language Emptiness
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita...