4987 search results - page 656 / 998 » Support Ordered Resolution |
202
click to vote
ACAL
2009
Springer
16 years 1 months ago
2009
Springer
Modelling the geometry of organic forms using traditional CAD or animation tools is often difficult and tedious. Different models of morphogenesis have been successfully applied t...
202
click to vote
TRUSTBUS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Existing policy languages suffer from a limited ability of directly and elegantly expressing high-level access control principles such as history-based separation of dut...
287
click to vote
WADS
2009
Springer
16 years 1 months ago
2009
Springer
We analyze the problem of packing squares in an online fashion: Given an semi-infinite strip of width 1 and an unknown sequence of squares with side lengths in [0, 1] that arrive...
242
click to vote
WFLP
2009
Springer
16 years 1 months ago
2009
Springer
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
182
click to vote
AGILE
2009
Springer
2009
Springer
Three-Valued 9-Intersection for Deriving Possible Topological Relations from Incomplete Observations
16 years 1 months ago
Topological relations, which concern how two objects intersect, are one of the most fundamental and well-studied spatial relations. Typically, topological relations are distinguis...