1950 search results - page 289 / 390 » Lambda-Free Logical Frameworks |
172
click to vote
FMCO
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
185
click to vote
FPGA
2007
ACM
16 years 18 days ago
2007
ACM
The application-specific multiprocessor System-on-a-Chip is a promising design alternative because of its high degree of flexibility, short development time, and potentially high ...
179
click to vote
ILP
2007
Springer
16 years 18 days ago
2007
Springer
: This paper is concerned with relational Support Vector Machines, at the intersection of Support Vector Machines (SVM) and relational learning or Inductive Logic Programming (ILP)...
177
click to vote
LOPSTR
2007
Springer
16 years 17 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
176
click to vote
MTSR
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...