Sciweavers

2272 search results - page 238 / 455
» Validity Invariants and Effects
Sort
View
TSMC
2010
15 years 1 months ago
Comparison of Optimal Solutions to Real-Time Path Planning for a Mobile Vehicle
In this paper, we present two near-optimal methods to determine the real-time collision-free path for a mobile vehicle moving in a dynamically changing environment. The proposed de...
Jian Yang, Zhihua Qu, Jing Wang 0005, Kevin L. Con...
TSP
2010
15 years 1 months ago
Modeling and identification of nonlinear systems in the short-time fourier transform domain
Abstract--In this paper, we introduce a novel approach for improved nonlinear system identification in the short-time Fourier transform (STFT) domain. We first derive explicit repr...
Yekutiel Avargel, Israel Cohen
ICCV
2011
IEEE
14 years 7 months ago
Tracking Multiple People under Global Appearance Constraints
In this paper, we show that tracking multiple people whose paths may intersect can be formulated as a convex global optimization problem. Our proposed framework is designed to exp...
Horesh Ben Shitrit, Jerome Berclaz, Francois Fleur...
AAAI
2012
13 years 9 months ago
Multi-Label Learning by Exploiting Label Correlations Locally
It is well known that exploiting label correlations is important for multi-label learning. Existing approaches typically exploit label correlations globally, by assuming that the ...
Sheng-Jun Huang, Zhi-Hua Zhou
EGOV
2005
Springer
16 years 22 days ago
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone
In this paper we propose a solution to secure interoperability between electronic ID management infrastructures enabling the provision of cross-border eServices to mobile citizens....
Franco Arcieri, Andrea Dimitri, Fabio Fioravanti, ...