Sciweavers

1669 search results - page 280 / 334
» Modeling ODP Computational Specifications Using UML
Sort
View
DSN
2004
IEEE
14 years 15 days ago
The Impact of Technology Scaling on Lifetime Reliability
The relentless scaling of CMOS technology has provided a steady increase in processor performance for the past three decades. However, increased power densities (hence temperature...
Jayanth Srinivasan, Sarita V. Adve, Pradip Bose, J...
CONCUR
2006
Springer
14 years 15 days ago
Minimization, Learning, and Conformance Testing of Boolean Programs
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
FGR
2006
IEEE
255views Biometrics» more  FGR 2006»
14 years 13 days ago
Incremental Kernel SVD for Face Recognition with Image Sets
Non-linear subspaces derived using kernel methods have been found to be superior compared to linear subspaces in modeling or classification tasks of several visual phenomena. Such...
Tat-Jun Chin, Konrad Schindler, David Suter
MVA
2007
130views Computer Vision» more  MVA 2007»
13 years 10 months ago
3D Precise Inspection of Electronic Devices by Single Stereo Vision
It is very important to guarantee the quality of the industrial products by means of visual inspection. In order to reduce the soldering defect with terminal deformation and termi...
Takashi Watanabe, Akira Kusano, Takayuki Fujiwara,...
PDPTA
2003
13 years 10 months ago
Globally Consistent Dynamic Reconfiguration
The evolution of distributed applications to reflect structural changes or to adapt to specific conditions of the run-time environment is a difficult issue especially if continuou...
Noel De Palma, Sara Bouchenak, Slim Ben Atallah, D...