3771 search results - page 190 / 755 » Subobject Transformation Systems |
147
Voted
WWW
2003
ACM
16 years 4 months ago
2003
ACM
This paper presents a design methodology that deals with the presentation aspects involved in the development of a Semantic Web Information System. The methodology is driven by tw...
124
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper we describe an efficient software architecture for object-tracking, based on a stereoscopic vision system, that has been applied to a mobile robot controlled by ...
154
Voted
LATIN
2004
Springer
15 years 9 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
142
Voted
SEM
2004
Springer
15 years 9 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
148
Voted
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
We consider the following scenario for a mapping system: given a source schema, a target schema, and a set of value correspondences between these two schemas, generate an executab...