5284 search results - page 983 / 1057 » Ontologizing Semantic Relations |
100
Voted
HYBRID
1994
Springer
15 years 4 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
151
Voted
SSD
1993
Springer
15 years 4 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
127
click to vote
META
1992
15 years 4 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
112
click to vote
POPL
1990
ACM
15 years 4 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
152
click to vote
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...