1156 search results - page 61 / 232 » The PENG System: Practice and Experience |
IBPRIA
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In pattern matching based Protein-Protein Interaction Extraction systems, patterns generated manually or automatically exist erroneous and redundancy, which greatly affec...
IEAAIE
2004
Springer
15 years 4 months ago
2004
Springer
During the design of storm drainage system, many decisions are involved on the basis of rules of thumb, heuristics, judgment, code of practice and previous experience of the design...
CADE
2007
Springer
15 years 11 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
EVOW
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We introduce a new algorithm for autonomous experimentation. This algorithm uses evolution to drive exploration during scientific discovery. Population size and mutation...
AUIC
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper considers the problem of computer user support and workplace learning in general. Theoretically our work is influenced by ideas on knowledge management, expertise netwo...