745 search results - page 79 / 149 » The Functional Side of Logic Programming |
127
click to vote
ICML
2008
IEEE
16 years 4 months ago
2008
IEEE
Identifying the appropriate kernel function/matrix for a given dataset is essential to all kernel-based learning techniques. A variety of kernel learning algorithms have been prop...
116
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
122
click to vote
JSW
2008
15 years 4 months ago
2008
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
180
click to vote
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
135
Voted
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...