209 search results - page 35 / 42 » On the semantics of merging |
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
CLEANDB
2006
ACM
14 years 3 months ago
2006
ACM
Data quality is a serious concern in every data management application, and a variety of quality measures have been proposed, including accuracy, freshness and completeness, to ca...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
ADBIS
2003
Springer
14 years 3 months ago
2003
Springer
It’s a long time since video post production became digital, yet the issue of collaborative video authoring has not been seriously investigated so far. In this paper we tackle th...
RIDE
2002
IEEE
14 years 2 months ago
2002
IEEE
Technologies and approaches in the field of Electronic Commerce are not mature enough in order to allow for their broad successful commercial application. Neither existing, succes...