Sciweavers

5570 search results - page 341 / 1114
» Applications of Fair Testing
Sort
View
ASPDAC
2010
ACM
141views Hardware» more  ASPDAC 2010»
15 years 4 months ago
An extension of the generalized Hamiltonian method to S-parameter descriptor systems
Abstract-- A generalized Hamiltonian method (GHM) was recently proposed for the passivity test of hybrid descriptor systems [1]. This paper extends the GHM theory to its S-paramete...
Zheng Zhang, Ngai Wong
ICCV
2001
IEEE
16 years 8 months ago
People Tracking Using Hybrid Monte Carlo Filtering
Particle filters are used for hidden state estimation with nonlinear dynamical systems. The inference of 3-d human motion is a natural application, given the nonlinear dynamics of...
Kiam Choo, David J. Fleet
ICDE
2010
IEEE
254views Database» more  ICDE 2010»
16 years 6 months ago
Efficient Rank Based KNN Query Processing Over Uncertain Data
Uncertain data are inherent in many applications such as environmental surveillance and quantitative economics research. As an important problem in many applications, KNN query has...
Ying Zhang, Xuemin Lin, Gaoping ZHU, Wenjie Zhang,...
TEI
2009
ACM
173views Hardware» more  TEI 2009»
16 years 1 months ago
xtel: a development environment to support rapid prototyping of "ubiquitous content"
This paper describes the "xtel" development environment for "Ubiquitous Content". Ubiquitous contents are real space applications that are embedded in day-to-d...
Satoru Tokuhisa, Takaaki Ishizawa, Yoshimasa Niwa,...
SEFM
2009
IEEE
16 years 1 months ago
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
Patrice Chalin