6456 search results - page 1138 / 1292 » Constraint Solving on Terms |
206
click to vote
TCS
2010
15 years 4 months ago
2010
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...
200
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Integrating a large number of on-chip voltage regulators holds the promise of solving many power delivery challenges through strong local load regulation and facilitates systemlev...
173
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Nowadays, the Quality of Service (QoS) in Optical Grids has become a key issue. An important QoS factor is the resiliency, namely the ability to survive from certain network failur...
164
click to vote
TIP
2011
15 years 1 months ago
2011
Abstract—We have developed a new face hallucination framework termed from local pixel structure to global image super-resolution (LPS-GIS). Based on the assumption that two simil...
186
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
A bugbear of uncalibrated stereo reconstruction is that cameras which deviate from the pinhole model have to be pre-calibrated in order to correct for nonlinear lens distortion. I...