2335 search results - page 387 / 467 » Type Checking Type Classes |
ACL
1990
13 years 10 months ago
1990
Conversation between two people is usually of MIXED-INITIATIVE, with CONTROL over the conversation being transferred from one person to another. We apply a set of rules for the tr...
FOGA
1992
13 years 10 months ago
1992
The building-block hypothesis states that the GA works well when short, low-order, highly-fit schemas recombine to form even more highly fit higher-order schemas. The ability to p...
DILS
2010
Springer
13 years 10 months ago
2010
Springer
Search computing has been proposed to support the integration of the results of search engines with other data and computational resources. In essence, in search computing, search ...
ECSA
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Architecture-centric, component-based development intensively reuses components from repositories. Such development processes produce architecture definitions, using arch...
ICML
2010
IEEE
13 years 10 months ago
2010
IEEE
Pseudo-likelihood and contrastive divergence are two well-known examples of contrastive methods. These algorithms trade off the probability of the correct label with the probabili...