3634 search results - page 551 / 727 » The Field Representation Language |
125
click to vote
CPAIOR
2005
Springer
15 years 10 months ago
2005
Springer
Hybrid algorithms combining local and systematic search often use nondeterminism in fundamentally different ways. They may differ in the strategy to explore the search tree and/o...
157
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
105
click to vote
ER
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In an ongoing effort to better understand the process of creating conceptual models (in particular formal ones), we present a fundamental view of the process of modeling...
160
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
130
click to vote
MLMI
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present a multimodal discourse ontology that serves as a knowledge representation and annotation framework for the discourse understanding component of an artifi...