1060 search results - page 42 / 212 » Mechanized semantics |
JODS
2006
14 years 9 months ago
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted a lot of research interest, and F-logic is widely ...
HSNMC
2004
Springer
15 years 3 months ago
2004
Springer
Decentralized and unstructured peer-to-peer (P2P) networks such as Gnutella are attractive for large-scale information retrieval and search systems due to scalability, fault-tolera...
166
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
MM
2000
ACM
15 years 2 months ago
2000
ACM
Images are increasingly being embedded in HTML documents on the WWW. Such documents over the WWW essentially provides a rich source of image collection from which users can query....
IADIS
2004
14 years 11 months ago
2004
As stated in the Web Content Accessibility Guidelines, it is extremely important to provide clear and consistent navigation mechanisms to increase the likelihood that a person wil...