Sciweavers

2444 search results - page 395 / 489
» Feature Construction for Back-Propagation
Sort
View
130
Voted
NJC
2006
86views more  NJC 2006»
15 years 4 months ago
Structured Formal Development in Isabelle
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
Maksym Bortin, Einar Broch Johnsen, Christoph L&uu...
PRL
2008
213views more  PRL 2008»
15 years 4 months ago
Boosting recombined weak classifiers
Boosting is a set of methods for the construction of classifier ensembles. The differential feature of these methods is that they allow to obtain a strong classifier from the comb...
Juan José Rodríguez, Jesús Ma...
PAMI
2006
191views more  PAMI 2006»
15 years 4 months ago
Principal Axis-Based Correspondence between Multiple Cameras for People Tracking
Visual surveillance using multiple cameras has attracted increasing interest in recent years. Correspondence between multiple cameras is one of the most important and basic problem...
Weiming Hu, Min Hu, Xue Zhou, Tieniu Tan, Jianguan...
134
Voted
SCP
2008
144views more  SCP 2008»
15 years 4 months ago
Implicit ownership types for memory management
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
Tian Zhao, Jason Baker, James Hunt, James Noble, J...
PR
2006
102views more  PR 2006»
15 years 4 months ago
Prototype selection for dissimilarity-based classifiers
A conventional way to discriminate between objects represented by dissimilarities is the nearest neighbor method. A more efficient and sometimes a more accurate solution is offere...
Elzbieta Pekalska, Robert P. W. Duin, Pavel Pacl&i...