1941 search results - page 363 / 389 » Reasoning about Computations Using Two-Levels of Logic |
209
click to vote
GIS
2004
ACM
16 years 26 days ago
2004
ACM
Spatial, temporal and spatio-temporal aggregates over continuous streams of remotely sensed image data build a fundamental operation in many applications in the environmental scie...
104
click to vote
RECOMB
2005
Springer
16 years 4 days ago
2005
Springer
Background: Support Vector Machines (SVMs) ? using a variety of string kernels ? have been successfully applied to biological sequence classification problems. While SVMs achieve ...
128
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: To date more than 2,1 million gene products from more than 100000 different species have been described specifying their function, the processes they are involved in a...
ICPP
1994
IEEE
15 years 4 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
113
click to vote
FOMI
2009
14 years 9 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...