Precise Point Positioning (PPP) is a popular technology for precise applications based on the Global Navigation Satellite System (GNSS). Multi-GNSS combined PPP has become a hot topic in recent years with the development of multiple GNSSs. Meanwhile, with the operation of the real-time service (RTS) of the International GNSS Service (IGS) agency that provides satellite orbit and clock correctio...

One of the major problems of axiom pinpointing for incoherent terminologies is the precise positioning within the conflict axioms. In this paper we present a formal notion for the entailment-based axiom pinpointing of incoherent terminologies, where the parts of an axiom is defined by atomic entailment. Based on these concepts, we prove the one-to-many relationship between existing axiom pinpoi...

Increasingly, electromagnetic induction methods (EMI) are being used within the area of archaeological prospecting for mapping soil structures or for studying paleo-landscapes. Recent hardware developments have made fast data acquisition, combined with precise positioning, possible, thus providing interesting possibilities for archaeological prospecting. However, it is commonly assumed that the...

Numerous techniques mine change data captured in software archives to assist software engineering efforts. These change-based approaches typically analyze change sets – groups of co-committed changes – under the assumption that the development work represented by change sets is both meaningful and related to a single change task. However, we have found that change sets often violate this assump...