1883 search results - page 144 / 377 » Ordered theta graphs |
ESWS
2010
Springer
14 years 23 days ago
2010
Springer
While the Semantic Web is rapidly filling up, appropriate tools for searching it are still at infancy. In this paper we describe an approach that allows humans to access informatio...
MODELS
2009
Springer
14 years 16 days ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
IEEEPACT
1998
IEEE
14 years 6 days ago
1998
IEEE
In order to achieve practical efficient execution on a parallel architecture, a knowledge of the data dependencies related to the application appears as the key point for building...
APN
2008
Springer
13 years 10 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Duplicate detection determines different representations of realworld objects in a database. Recent research has considered the use of relationships among object representations t...