8828 search results - page 1197 / 1766 » Formal methods in practice |
159
click to vote
IWC
2006
15 years 7 months ago
2006
A contemporary approach to describing and theorizing about joint human endeavor is to posit `knowledge in common' as a basis for awareness and coordination. Recent analysis h...
186
click to vote
DKE
2007
15 years 7 months ago
2007
This paper presents a methodology for knowledge acquisition from source code. We use data mining to support semiautomated software maintenance and comprehension and provide practi...
245
Voted
JMLR
2006
15 years 7 months ago
2006
While methods for comparing two learning algorithms on a single data set have been scrutinized for quite some time already, the issue of statistical tests for comparisons of more ...
179
Voted
ENGL
2007
15 years 7 months ago
2007
— This paper presents a novel adaptive controller for multimodal systems based on Fuzzy Reference Model Generator (FRMG). The proposed scheme consists of a fuzzy logic switching ...
196
click to vote
JPDC
2006
15 years 7 months ago
2006
Multiple sequence alignment (MSA) and phylogenetic tree reconstruction are one of the most important problems in the computational biology. While both these problems are of great ...