1081 search results - page 139 / 217 » Type Inference of SELF |
115
click to vote
IS
2006
14 years 12 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
100
click to vote
JIFS
2002
14 years 11 months ago
2002
Microarray technologies have allowed the measurement of expression of multiple genes simultaneously. Gene expression levels can be used to classify tissues into diagnostic or progn...
115
click to vote
ICANN
2009
Springer
14 years 9 months ago
2009
Springer
Mapping brain activity patterns in external actions has been studied in recent decades and is the base of a brain-computer interface. This type of interface is extremely useful for...
112
click to vote
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Many real world applications such as sensor networks and other monitoring applications naturally generate probabilistic streams that are highly correlated in both time and space. ...
131
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...