1382 search results - page 31 / 277 » Formal Analysis of Online Algorithms |
165
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: Many cutting-edge microarray analysis tools and algorithms, including commonly used limma and affy packages in Bioconductor, need sophisticated knowledge of mathematic...
158
click to vote
PR
1998
15 years 5 months ago
1998
This paper describes a method for optimizing the cost matrix of any approximate string matching algorithm based on the Levenshtein distance. The method, which uses genetic algorit...
143
click to vote
FATES
2004
Springer
15 years 11 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
176
click to vote
ASWEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
145
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
Previous work on spatio-temporal analysis of news items and other documents has largely focused on broad categorization of small text collections by region or country. A system fo...