1636 search results - page 166 / 328 » Type-Theoretic Functional Semantics |
152
click to vote
ECEASST
2010
14 years 11 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
155
click to vote
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
End-users increasingly find the need to perform light-weight, customized schema mapping. State-of-the-art tools provide powerful functions to generate schema mappings, but they u...
176
click to vote
JAIR
2012
13 years 6 months ago
2012
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
151
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
143
click to vote
HIPC
2009
Springer
15 years 1 months ago
2009
Springer
Supercomputers are prone to frequent faults that adversely affect their performance, reliability and functionality. System logs collected on these systems are a valuable resource o...