1341 search results - page 154 / 269 » Logic for Modeling Product Structure |
132
Voted
VMCAI
2010
Springer
16 years 24 days ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
144
click to vote
ENVSOFT
2002
15 years 3 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
157
Voted
JMLR
2010
14 years 10 months ago
2010
Inducing a grammar from text has proven to be a notoriously challenging learning task despite decades of research. The primary reason for its difficulty is that in order to induce...
137
Voted
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
182
Voted
OHS
2001
Springer
15 years 8 months ago
2001
Springer
This paper presents an XML-based Adaptive Hypermedia Model (XAHM) and its modular architecture, for modelling and supporting Adaptive Hypermedia Systems, i.e. hypertext-based multi...