2327 search results - page 249 / 466 » Consistency of functional learning methods based on derivati... |
166
click to vote
JLP
2008
15 years 6 months ago
2008
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
174
click to vote
APL
1993
ACM
15 years 10 months ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
169
click to vote
VLSI
2007
Springer
16 years 21 days ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
201
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Model-based clustering of motion trajectories can be posed as the problem of learning an underlying mixture density function whose components correspond to motion classes with dif...
187
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
In information retrieval, relevance of documents with respect to queries is usually judged by humans, and used in evaluation and/or learning of ranking functions. Previous work ha...