Sciweavers

10608 search results - page 241 / 2122
» Complexity of O'Hara's Algorithm
Sort
View
EVOW
2009
Springer
15 years 7 months ago
University Course Timetabling with Genetic Algorithm: A Laboratory Excercises Case Study
Abstract. This paper describes the application of a hybrid genetic algorithm to a real-world instance of the university course timetabling problem. We address the timetabling of la...
Zlatko Bratkovic, Tomislav Herman, Vjera Omrcen, M...
FOCS
2006
IEEE
15 years 6 months ago
Heat Flow and a Faster Algorithm to Compute the Surface Area of a Convex Body
We draw on the observation that the amount of heat diffusing outside of a heated body in a short period of time is proportional to its surface area, to design a simple algorithm f...
Mikhail Belkin, Hariharan Narayanan, Partha Niyogi
110
Voted
STACS
2005
Springer
15 years 6 months ago
Exact Quantum Algorithms for the Leader Election Problem
Abstract. It is well-known that no classical algorithm can solve exactly (i.e., in bounded time without error) the leader election problem in anonymous networks. This paper propose...
Seiichiro Tani, Hirotada Kobayashi, Keiji Matsumot...
89
Voted
AAAI
2006
15 years 1 months ago
Acquiring Constraint Networks Using a SAT-based Version Space Algorithm
Constraint programming is a commonly used technology for solving complex combinatorial problems. However, users of this technology need significant expertise in order to model the...
Christian Bessière, Remi Coletta, Fré...
99
Voted
CORR
2004
Springer
98views Education» more  CORR 2004»
15 years 9 days ago
A feasible algorithm for typing in Elementary Affine Logic
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p...
Patrick Baillot, Kazushige Terui