2448 search results - page 194 / 490 » The Octahedron Abstract Domain |
122
click to vote
DAGSTUHL
2009
15 years 14 days ago
2009
Abstract. Median clustering extends popular neural data analysis methods such as the self-organizing map or neural gas to general data structures given by a dissimilarity matrix on...
GI
2008
Springer
15 years 14 days ago
2008
Springer
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
ICALP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
31
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract--In this letter, an initial ranging scheme for orthogonal frequency-division multiple-access systems is proposed by which users that intend to establish a communication li...
ISCI
2008
14 years 11 months ago
2008
This paper studies the greedy ensemble selection family of algorithms for ensembles of regression models. These algorithms search for the globally best subset of regresmaking loca...