27274 search results - page 5356 / 5455 » A framework for framework documentation |
102
click to vote
JAIR
2000
15 years 13 days ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
132
click to vote
JAR
2000
15 years 13 days ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
134
click to vote
JCB
2000
15 years 13 days ago
2000
We present a novel method for predicting the secondary structure of a protein from its amino acid sequence. Most existing methods predict each position in turn based on a local wi...
113
Voted
JFP
2000
15 years 13 days ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
121
Voted
JIRS
2000
15 years 13 days ago
2000
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...