4693 search results - page 363 / 939 » Verifying Hybrid Systems |
156
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this study, a support vector machine (SVM) classifies real world data of cytogenetic signals measured from fluorescence in-situ hybridization (FISH) images in order to diagnose...
175
click to vote
ISVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
A new hybrid CMOS-nanoscale circuit style has been developed that uses only one type of Field Effect Transistor (FET) in the logic portions of a design. This is enabled by CMOS pro...
161
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
—In the next generation mobile communication systems, high-speed and high-quality packet data services are demanded. Hybrid ARQ (HARQ) is known as one of the promising error cont...
171
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper an efficient scheduling mechanism for wireless local area networks (WLAN) is proposed. This innovative scheme, named hybrid HCCA-EDCA centralised scheme (HHECS), is b...
169
click to vote
HAPTICS
2005
IEEE
16 years 11 days ago
2005
IEEE
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...