2529 search results - page 372 / 506 » The Logical Structure of Binding |
180
click to vote
DEXA
2004
Springer
15 years 12 months ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
152
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
168
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
174
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
148
click to vote
PVM
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...