513 search results - page 57 / 103 » Operational and abstract semantics of the query language G-L... |
101
click to vote
HT
1996
ACM
15 years 3 months ago
1996
ACM
HyPursuit is a new hierarchical network search engine that clusters hypertext documents to structure a given information space for browsing and search activities. Our content-link...
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
ESWS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
POPL
2010
ACM
15 years 8 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
PPDP
2009
Springer
15 years 5 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...