7167 search results - page 326 / 1434 » A Technique for Invariant Generation |
219
click to vote
JCDL
2004
ACM
16 years 1 months ago
2004
ACM
Automatic generation of semantic metadata describing spatial relations is highly desirable for image digital libraries. Relative spatial relations between objects in an image conv...
269
click to vote
IFIP
2001
Springer
16 years 1 days ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
200
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
In biology, a vaccine is a weakened strain of a virus or bacterium that is intentionally injected into the body for the purpose of stimulating antibody production. Inspired by thi...
228
click to vote
ACMACE
2009
ACM
15 years 5 months ago
2009
ACM
In this paper we propose a novel approach for generating expressive caricatures from an input image. The novelty of this work comes from combining an Active Appearance Model facia...
238
Voted
ICIC
2009
Springer
15 years 5 months ago
2009
Springer
IEEE recently standardized 802.21-2008 Media Independent Handover (MIH) standard. MIH is a key milestone toward the evolution of integrated heterogeneous 4G wireless networks. MIH ...