4224 search results - page 711 / 845 » Reasoning about Choice |
122
click to vote
NGC
1998
Springer
15 years 14 days ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
93
Voted
TC
1998
15 years 13 days ago
1998
—Many applications require communication services with guaranteed timeliness and fault tolerance at an acceptable level of overhead. We present a scheme for restoring real-time c...
86
Voted
SIAMJO
2002
15 years 13 days ago
2002
Most local convergence analyses of the sequential quadratic programming (SQP) algorithm for nonlinear programming make strong assumptions about the solution, namely, that the activ...
123
Voted
TITB
2002
15 years 13 days ago
2002
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...
103
Voted
TOPLAS
2002
15 years 13 days ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...