Sciweavers

5092 search results - page 727 / 1019
» Clustering the Feature Space
Sort
View
ADAEUROPE
2005
Springer
16 years 1 months 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 1 months 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...
180
Voted
DIGRA
2005
Springer
16 years 1 months 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 29 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 29 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