207 search results - page 24 / 42 » Testing Transition Systems with Input and Output Testers |
TASE
2011
IEEE
13 years 2 months ago
2011
IEEE
—This paper reports the design and development processes of a totally decoupled flexure-based XYZ parallel-kinematics micropositioning stage with piezoelectric actuation. The un...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
We present a new pedestrian detector that improves both in speed and quality over state-of-the-art. By efficiently handling different scales and transferring computation from tes...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
A novel automatic image annotation system is proposed, which integrates two sets of SVMs (Support Vector Machines), namely the MIL-based (Multiple Instance Learning) and global-fe...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
—This paper focuses on the usage of an enhanced equalization-based receiver for WCDMA (Wideband CodeDivision Multiple Access) MIMO (Multiple Input, Multiple Output) BLAST (Bell L...