11462 search results - page 2094 / 2293 » Developing Application-Centric Methods |
183
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
Regular expression pattern matching is widely used in computational biology. Searching through a database of sequences for a motif (a simple regular expression), or its variations...
178
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
195
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
177
click to vote
EUPROJECTS
2006
Springer
15 years 10 months ago
2006
Springer
We present a highly accurate method for classifying web pages based on link percentage, which is the percentage of text characters that are parts of links normalized by the number...
182
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...