7103 search results - page 791 / 1421 » Program Generation and Components |
181
Voted
DLOG
2007
15 years 9 months ago
2007
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reaso...
208
click to vote
ESOP
2008
Springer
15 years 9 months ago
2008
Springer
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
183
click to vote
FPL
2008
Springer
15 years 9 months ago
2008
Springer
The objective of Molecular Dynamics (MD) simulations is to determine the shape of a molecule in a given biomolecular environment. These simulations are very demanding computationa...
149
click to vote
IADIS
2004
15 years 8 months ago
2004
In this paper, we propose an open framework for teachers and lecturers in science, to help them write their pedagogical documents with both static textual parts, and interactive a...
214
Voted
APBC
2003
15 years 8 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...