4074 search results - page 424 / 815 » Abstract Graph Transformation |
163
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present some techniques for handling planning problems with numerical expressions that can be specified using the standard planning language PDDL. These techniques ar...
183
click to vote
EVOW
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents an application of a hierarchical social (HS) metaheuristic to region-based segmentation. The original image is modelled as a simplified image graph, w...
182
click to vote
ITS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
218
click to vote
MOZ
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
180
Voted
SAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...