2263 search results - page 180 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
179
click to vote
ASPLOS
2006
ACM
16 years 1 days ago
2006
ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...
172
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
In current research, the minimum cycle times of finite state machines are estimated by computing the delays of the combinational logic in the finite state machines. Even though th...
176
click to vote
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
158
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
164
click to vote
ICML
2007
IEEE
16 years 6 months ago
2007
IEEE
Although semi-supervised learning has been an active area of research, its use in deployed applications is still relatively rare because the methods are often difficult to impleme...