1664 search results - page 77 / 333 » Towards Partial Reasoning |
119
Voted
POPL
2012
ACM
13 years 8 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...
104
Voted
RR
2007
Springer
15 years 6 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 6 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...
91
Voted
CORR
2007
Springer
15 years 15 days 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/...
103
Voted
CADE
2004
Springer
16 years 1 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...