For maneuvering target tracking, the interactive multiple model (IMM) algorithm and its variants have shown good performance, among which variable structure IMM (VSIMM) is most widely studied one. The approximation degree of matching subset will affect performance VSIMM. In addition, considering that smoothing can provide better estimation state, a new adaptive VSIMM filtering (AVSIMMFS) propos...

Multi-homogeneous homotopy continuation method is one of the most efficient approaches in solving all isolated solutions of a polynomial system of equations. Finding the optimal partition of variables with the minimal multihomogeneous Bézout number is clearly an optimization problem. Multi-homogeneous continuation using the optimal partition of variables reduces the computational cost in path t...

We propose to extend standard Radio Frequency IDentification (RFID) usage by storing semantically annotated data within RFID tags memory, so that objects may actually ‘describe themselves’ in avarietyof scenarios. Inparticularherewe exploit our approach to carry out an advanced matchmaking process using metadata stored in RFIDs. A ‘fully backward compatible’ modification to the original RFID da...

A compressed domain generic object tracking algorithm offers, in combination with a face detection algorithm, a low-computational-cost solution to the problem of detecting and locating faces in frames of compressed video sequences (such as MPEG-1 or MPEG-2). Objects such as faces can thus be tracked through a compressed video stream using motion information provided by existing forward and back...

Named graphs are likely to be at the forefront of any future revisions of the RDF data model. The ability to assert metadata about a graph is essential to provenance tracking, access control, and overall data management in the Semantic Web domain. If named graphs were to be incorporated into RDF, it follows that Linked Data would support named graphs at a basic level. This paper investigates po...

In this paper we propose a partial tracking method for music signals based on Kalman filtering. We first introduce a novel technique for detection of peaks in spectral representations of music signals. We also introduce different evolution models for our Kalman filter based on the shape of frequency and power partials in different classes of melodic instruments. Parameters of these models are e...

We present YinYang, a language that supports typeless programming where all object types are inferred with full support for data polymorphic mutable fields, subtyping, genericity, overriding, and local reasoning about semantic feedback like type errors. YinYang supports these features by forgoing traditional set-based types, instead tracking usage requirements in modular term assignment graphs ...

Background: Up-to-date guidance on comprehensive study identification for systematic reviews is crucial. According to current recommendations, searching should combine electronic database with supplementary search methods. One such method citation tracking. It aims at collecting directly and/or indirectly cited and citing references from "seed references". Tailored e...