941 search results - page 178 / 189 » Mathematics on the (Semantic) NET |
MEMOCODE
2010
IEEE
14 years 7 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
106
click to vote
EUSFLAT
2009
14 years 7 months ago
2009
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
Cognitive systems are trained to recognise perceptually meaningful parts of an image. These regions contain some variation, i.e. local texture, and are roughly convex. We call suc...
WWW
2011
ACM
14 years 4 months ago
2011
ACM
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology langua...
CORR
2011
Springer
14 years 1 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...