2940 search results - page 367 / 588 » Relational Parametricity and Control |
167
click to vote
CIARP
2008
Springer
15 years 8 months ago
2008
Springer
The performance of supervised learners depends on the presence of a relatively large labeled sample. This paper proposes an automatic ongoing learning system, which is able to inco...
163
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- To date, most high-level synthesis systems do not automatically solve present design problems, such as those related to timing associated with the physical implementation of mult...
165
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- This paper presents a novel approach for fast transient analysis of buffered hybrid structured clock networks. The new method applies structure reduction and relaxed hierarchical...
187
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Simulated evolution by the use of Genetic Algorithms (GA) is presented as the solution to a twofaceted problem: the challenge for an autonomous agent to learn the reactive componen...
176
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
We describe Trellis, a platform for hosting virtual networks on shared commodity hardware. Trellis allows each virtual network to define its own topology, control protocols, and f...