474 search results - page 63 / 95 » Spatial Agents Implemented in a Logical Expressible Language |
WFLP
2000
Springer
14 years 18 days ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
TOOLS
1998
IEEE
14 years 1 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
JANCL
2002
13 years 8 months ago
2002
We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-str...
CP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
MOZ
2004
Springer
14 years 2 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...