Sciweavers

699 search results - page 122 / 140
» Generalized Distance Functions in the Theory of Computation
Sort
View
TOPLAS
2008
81views more  TOPLAS 2008»
14 years 9 months ago
Size-change termination with difference constraints
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
Amir M. Ben-Amram
GECCO
2007
Springer
212views Optimization» more  GECCO 2007»
15 years 1 months ago
Controlling overfitting with multi-objective support vector machines
Recently, evolutionary computation has been successfully integrated into statistical learning methods. A Support Vector Machine (SVM) using evolution strategies for its optimizati...
Ingo Mierswa
SIGMETRICS
2003
ACM
165views Hardware» more  SIGMETRICS 2003»
15 years 2 months ago
A hybrid systems modeling framework for fast and accurate simulation of data communication networks
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
Stephan Bohacek, João P. Hespanha, Junsoo L...
ICALP
2003
Springer
15 years 2 months ago
Fixed-Parameter Algorithms for the (k, r)-Center in Planar Graphs and Map Graphs
The (k, r)-center problem asks whether an input graph G has ≤ k vertices (called centers) such that every vertex of G is within distance ≤ r from some center. In this paper we ...
Erik D. Demaine, Fedor V. Fomin, Mohammad Taghi Ha...
CVPR
2011
IEEE
14 years 1 months ago
Internal Statistics of a Single Natural Image
Statistics of ‘natural images’ provides useful priors for solving under-constrained problems in Computer Vision. Such statistics is usually obtained from large collections of ...
Maria Zontak, Michal Irani