7961 search results - page 172 / 1593 » Input-Output Model Programs |
157
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
140
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
146
click to vote
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
145
Voted
PAKDD
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. In our previous studies, Genetic Programming (GP), Probabilistic Incremental Program Evolution (PIPE) and Ant Programming (AP) have been used to optimal design of Flexibl...
131
click to vote
IBERAMIA
2004
Springer
15 years 8 months ago
2004
Springer
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...