1632 search results - page 98 / 327 » Sublinear Time Algorithms for Metric Space Problems |
114
Voted
MMAS
2010
Springer
14 years 10 months ago
2010
Springer
The two-dimensional layout optimization problem reinforced by the efficient space utilization demand has a wide spectrum of practical applications. Formulating the problem as a non...
118
click to vote
KAIS
2007
15 years 3 months ago
2007
Published scientific articles are linked together into a graph, the citation graph, through their citations. This paper explores the notion of similarity based on connectivity alo...
124
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The bin packing problem (BPP) is a real-world problem that arises in different industrial applications related to minimization of space or time. The aim of this research is to au...
151
Voted
RTSS
1995
IEEE
15 years 7 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
143
Voted
LICS
1990
IEEE
15 years 7 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...