7167 search results - page 351 / 1434 » A Technique for Invariant Generation |
222
click to vote
TASE
2011
IEEE
15 years 2 months ago
2011
IEEE
— Surface flattening has numerous applications in sheet manufacturing industries, such as garment industry, shoe industry, toy industry, furniture industry and ship industry. Mo...
260
click to vote
TSMC
2010
15 years 2 months ago
2010
Feature-based image watermarking schemes, which aim to survive various geometric distortions, have attracted great attention in recent years. Existing schemes have shown robustness...
212
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
It is well known that video material with a static background allows easier segmentation than that with a moving background. One approach to segmentation of sequences with a movin...
215
click to vote
PRDC
2005
IEEE
16 years 1 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
177
click to vote
CODES
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents an Integer Linear Programming (ILP) approach to the instruction-set extension identification problem. An algorithm that iteratively generates and solves a set...