5401 search results - page 316 / 1081 » Using Versions in GIS |
157
click to vote
ECEASST
2008
15 years 6 months ago
2008
Abstract: The diagram editor generator framework DIAMETA utilizes meta-modelbased language specifications and supports free-hand as well as structured editing. In this paper we pre...
153
click to vote
APAL
2006
15 years 6 months ago
2006
If a locale is presented by a "flat site", it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is deri...
187
click to vote
TPLP
2002
15 years 6 months ago
2002
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic schedu...
117
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We present a method of resolving simultaneous collisions between multiple rigid bodies based on the least action principle. By using the generalized directional derivative of t...
119
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...