1981 search results - page 282 / 397 » Model-Checking Hierarchical Structures |
VMV
2008
13 years 10 months ago
2008
In computer graphics, procedural methods and Lsystems are common approaches to model complex botanical trees. In contrast to previous tree modeling systems, we propose linking rul...
AAAI
2004
13 years 10 months ago
2004
We introduce a novel intelligent system which can generate new Chinese calligraphic artwork that meets certain aesthetic requirements automatically. In the machine learning phase,...
ECIR
2004
Springer
13 years 10 months ago
2004
Springer
Content-only retrieval of XML documents deals with the problem of locating the smallest XML elements that satisfy the query. In this paper, we investigate the application of a spec...
ECIR
2004
Springer
13 years 10 months ago
2004
Springer
A medium-scale user study was carried out to investigate the usability of a concept-based query expansion support tool. The tool was fully integrated into the interface of an IR sy...
AIPS
2003
13 years 10 months ago
2003
In this paper we explore a principled, integrated approach to the process of creating complex planning applications and introduce and evaluate a new hybrid task-reduction planner ...