12836 search results - page 495 / 2568 » Generalization Methods in Bioinformatics |
203
click to vote
FSTTCS
2008
Springer
15 years 8 months ago
2008
Springer
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...
363
click to vote
Tutorial
This article discusses strategies for improving the speed of Matlab code. Keep in mind that speed depends heavily on the computation platform and that the fastest method on one sys...
179
click to vote
GMP
2008
IEEE
16 years 1 months ago
2008
IEEE
Fitting of data points by parametric curves and surfaces is demanded in many scientific fields. In this paper we review and analyze existing least squares orthogonal distance fi...
216
click to vote
DALT
2004
Springer
16 years 14 days ago
2004
Springer
The concept of a social norm is used in multi-agent systems to specify behaviours required of agents interacting in a given social context. We describe a method for specifying soci...
221
click to vote
FTRTFT
1992
Springer
15 years 11 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...