Sciweavers

5387 search results - page 951 / 1078
» Generating generic functions
Sort
View
160
Voted
TOG
2012
221views Communications» more  TOG 2012»
13 years 5 months ago
Gabor noise by example
Procedural noise is a fundamental tool in Computer Graphics. However, designing noise patterns is hard. In this paper, we present Gabor noise by example, a method to estimate the ...
Bruno Galerne, Ares Lagae, Sylvain Lefebvre, Georg...
143
Voted
CAV
2012
Springer
222views Hardware» more  CAV 2012»
13 years 5 months ago
Leveraging Interpolant Strength in Model Checking
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
Simone Fulvio Rollini, Ondrej Sery, Natasha Sharyg...
CVPR
2012
IEEE
13 years 5 months ago
Unsupervised co-segmentation through region matching
Co-segmentation is defined as jointly partitioning multiple images depicting the same or similar object, into foreground and background. Our method consists of a multiplescale mu...
José C. Rubio, Joan Serrat, Antonio M. L&oa...
111
Voted
CVPR
2008
IEEE
16 years 4 months ago
Automatic face naming with caption-based supervision
We consider two scenarios of naming people in databases of news photos with captions: (i) finding faces of a single person, and (ii) assigning names to all faces. We combine an in...
Matthieu Guillaumin, Thomas Mensink, Jakob J. Verb...
109
Voted
DAC
2000
ACM
16 years 3 months ago
Fingerprinting intellectual property using constraint-addition
Recently, intellectual property protection (IPP) techniques attracted a great deal of attention from semiconductor, system integration and software companies. A number of watermar...
Gang Qu, Miodrag Potkonjak