4354 search results - page 573 / 871 » Matching Objects with Patterns |
117
click to vote
AE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We report the use of MGS, a declarative and rule-based language, for the modeling of various self-assembly processes. The approach is illustrated on the fabrication of a ...
121
click to vote
IBPRIA
2005
Springer
15 years 10 months ago
2005
Springer
We present in this paper the application of mathematical morphology operators through a transformation of the Cartesian image into another geometric space, i.e. pol-log image. The ...
169
click to vote
WLP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
129
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
With the widespread use of embedded devices such as PDAs, printers, game machines, cellular telephones, achieving high performance demands an optimized operating system (OS) that ...
135
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...