1113 search results - page 176 / 223 » Automated Approaches for Classifying Structures |
150
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
138
click to vote
CADE
2003
Springer
16 years 3 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
112
Voted
OTM
2009
Springer
15 years 10 months ago
2009
Springer
When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions...
114
Voted
SIGCSE
2004
ACM
15 years 8 months ago
2004
ACM
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...
134
click to vote
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...