936 search results - page 117 / 188 » The Synthesis Problem of Netcharts |
138
click to vote
ACSD
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
170
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a comprehensive, multivariate account of how initial population material is used over the course of a genetic programming run as while various factors influenc...
125
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Overfitting is a fundamental problem of most machine learning techniques, including genetic programming (GP). Canary functions have been introduced in the literature as a concept ...
131
click to vote
DAC
1995
ACM
15 years 8 months ago
1995
ACM
This paper describes a technique for calculating the switching activity of a set of registers shared by di erent data values. Based on the assumption that the joint pdf (probabili...
128
click to vote
AAAI
1997
15 years 6 months ago
1997
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...