Sciweavers

5718 search results - page 886 / 1144
» Modeling Rule Precision
Sort
View
CONCUR
2007
Springer
16 years 1 months ago
Timed Concurrent Game Structures
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
Thomas Brihaye, François Laroussinie, Nicol...
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
16 years 1 months ago
Evolving problem heuristics with on-line ACGP
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees. ...
Cezary Z. Janikow
ICANN
2007
Springer
16 years 1 months ago
Unbiased SVM Density Estimation with Application to Graphical Pattern Recognition
Abstract. Classification of structured data (i.e., data that are represented as graphs) is a topic of interest in the machine learning community. This paper presents a different,...
Edmondo Trentin, Ernesto Di Iorio
VLDB
2007
ACM
106views Database» more  VLDB 2007»
16 years 1 months ago
Why You Should Run TPC-DS: A Workload Analysis
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
Meikel Pöss, Raghunath Othayoth Nambiar, Davi...
AICT
2006
IEEE
102views Communications» more  AICT 2006»
16 years 1 months ago
A Computer Aided Grading System for Subjective Tests
Computer aided tests replace traditional written answers on paper sheets with electronic records. For subjective tests, computers are not able to do all grading jobs, due to limit...
Yijian Wu, Wenyun Zhao, Xin Peng, Yunjiao Xue