2838 search results - page 286 / 568 » Verifying Controlled Components |
112
Voted
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
91
Voted
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
Children need to master reading letter-names and lettersounds before reading phrases and sentences. Pronunciation assessment of letter-names and letter-sounds read aloud is an imp...
108
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this work, we utilize a recently studied more accurate range noise model for 3D sensors to derive from scratch the expressions for the optimum plane which best fits a point-...
126
Voted
ICB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. State-of-the-art palmprint recognition algorithms achieve high accuracy based on component based texture analysis. However, they are still sensitive to local variations o...
110
Voted
CLUSTER
2008
IEEE
15 years 9 months ago
2008
IEEE
—The concept of green computing has attracted much attention recently in cluster computing. However, previous local approaches focused on saving the energy cost of the components...