1321 search results - page 173 / 265 » Subtyping in Logical Form |
195
click to vote
ILP
2007
Springer
16 years 15 days ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
175
click to vote
ISVC
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The function of a protein is dependent on whether and how it can interact with various ligands. Therefore, an accurate prediction of protein-ligand interactions is paramo...
168
click to vote
RR
2007
Springer
16 years 14 days ago
2007
Springer
The most promising feature of the Web services platform is its ability to form new (composite) services by combining the capabilities of already existing (component) services. The ...
165
click to vote
RR
2007
Springer
16 years 14 days ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
174
click to vote
DATE
2006
IEEE
16 years 12 days ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...