10447 search results - page 301 / 2090 » The Philosophy of Computer Science |
209
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
332
click to vote
SSDBM
2011
IEEE
14 years 10 months ago
2011
IEEE
Database technology remains underused in science, especially in the long tail the small labs and individual researchers that collectively produce the majority of scienti c output...
221
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Typically, data collected by a spacecraft is downlinked to Earth and pre-processed before any analysis is performed. We have developed classifiers that can be used onboard a space...
213
click to vote
SERVICES
2008
15 years 8 months ago
2008
Scientific workflows in Life Sciences are usually complex, and use many online databases, analysis tools, publication repositories and customized computation intensive desktop sof...
226
Voted
ETS
2000
IEEE
15 years 6 months ago
2000
IEEE
During Spring 1998, we embarked on pedagogical journey into unknown terrains -- the terrains of collaborative teaching and World Wide Web instruction. In this paper we present a j...