3973 search results - page 159 / 795 » Records for Logic Programming |
145
click to vote
PLILP
1998
Springer
15 years 8 months ago
1998
Springer
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
130
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In previous research, we presented a dynamicprogramming-based EM (expectation-maximization) algorithm for parameterized logic programs, which is based on the structure sh...
135
Voted
DIS
2006
Springer
15 years 7 months ago
2006
Springer
Protein domains are the building blocks of proteins, and their interactions are crucial in forming stable protein-protein interactions (PPI) and take part in many cellular processe...
125
click to vote
AAAI
1994
15 years 5 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
125
click to vote
ML
1998
ACM
15 years 3 months ago
1998
ACM
This paper is a case study of a machine aided knowledge discovery process within the general area of drug design. More speci cally, the paper describes a sequence of experiments in...