498 search results - page 77 / 100 » A Formal Foundation for XrML |
195
click to vote
LICS
2007
IEEE
16 years 14 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
166
click to vote
CBSE
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
161
click to vote
ER
2007
Springer
16 years 10 days ago
2007
Springer
We present the semantic data model for an ontological database for subcellular anatomy for Neurosciences. The data model builds upon the foundations of OWL and the Basic Formal Ont...
181
click to vote
ER
2007
Springer
16 years 10 days ago
2007
Springer
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...
158
click to vote
ESOP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...