1664 search results - page 77 / 333 » Towards Partial Reasoning |
152
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
135
click to vote
RR
2007
Springer
15 years 10 months ago
2007
Springer
Geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. They no...
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
We discuss the specific type of uncertainty deriving from the non-uniform trustworthiness of Semantic Web style metadata sources, arguing toward the feasibility of modal possibili...
124
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
— It has been observed that particular rate-1/2 partially systematic parallel concatenated convolutional codes (PCCCs) can achieve a lower error floor than that of their rate-1/...
143
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Lambda logic is the union of first order logic and lambda calculus. We prove basic metatheorems for both total and partial versions of lambda logic. We use lambda logic to state a...