1687 search results - page 197 / 338 » Light Functional Interpretation |
160
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
173
click to vote
VW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper, we present the project Urbi et Orbi, a framework to dynamically manage distributed virtual environments (DVEs). This framework relies on a dedicated script...
171
click to vote
ISER
1995
Springer
15 years 10 months ago
1995
Springer
We present an active approach for discriminating different materials by impulsively contacting (hitting) them, and sensing and interpreting the resulting sounds. In theory, the an...
190
click to vote
KDD
1995
ACM
15 years 10 months ago
1995
ACM
Discovering repetitive, interesting, and functional substructures in a structural database improves the ability to interpret and compress the data. However, scientists working wit...
165
click to vote
AGP
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...