517 search results - page 39 / 104 » On the Intended Interpretations of Actions |
103
Voted
TAPSOFT
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
ICCS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...
95
Voted
LPAR
2000
Springer
15 years 4 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
128
Voted
CARS
2003
15 years 1 months ago
2003
The efficiency of data analysis of 3-d measurement data such as medical images can be enhanced if the expert user is enabled to incorporate his knowledge into the analysis process ...
105
Voted
DICTA
2003
15 years 1 months ago
2003
We describe a graphical tool for analysis and visualization of three dimensional medical data. The application is intended to help physicians interpret the geometric structures of ...