Sciweavers

5092 search results - page 727 / 1019
» Clustering the Feature Space
Sort
View
ADAEUROPE
2005
Springer
16 years 8 days ago
The ESA Ravenscar Benchmark
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...
Romain Berrendonner, Jérôme Guitton
CAV
2005
Springer
144views Hardware» more  CAV 2005»
16 years 7 days ago
Romeo: A Tool for Analyzing Time Petri Nets
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
Guillaume Gardey, Didier Lime, Morgan Magnin, Oliv...
DIGRA
2005
Springer
16 years 7 days ago
Push. Play: An Examination of the Gameplay Button
At the center of the video game experience is the interface. Before a player grabs the first powerup or meets the first obstacle, the would-be-adventurer must accept the limitatio...
Stephen Griffin
ICMLC
2005
Springer
16 years 6 days ago
Kernel-Based Metric Adaptation with Pairwise Constraints
Abstract. Many supervised and unsupervised learning algorithms depend on the choice of an appropriate distance metric. While metric learning for supervised learning tasks has a lon...
Hong Chang, Dit-Yan Yeung
ICNC
2005
Springer
16 years 6 days ago
Support Vector Based Prototype Selection Method for Nearest Neighbor Rules
The Support vector machines derive the class decision hyper planes from a few, selected prototypes, the support vectors (SVs) according to the principle of structure risk minimizat...
Yuangui Li, Zhonghui Hu, Yunze Cai, Weidong Zhang