10271 search results - page 1918 / 2055 » Self-plagiarism in computer science |
187
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: In recent years, the demand for computational power in computational biology has increased due to rapidly growing data sets from microarray and other high-throughput t...
162
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
166
click to vote
STACS
1999
Springer
15 years 10 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
200
click to vote
GI
1998
Springer
15 years 10 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
192
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....