Sciweavers

1344 search results - page 145 / 269
» Automatic performance analysis with periscope
Sort
View
CACM
2010
161views more  CACM 2010»
15 years 3 months ago
Efficiently searching for similar images
As it becomes increasingly viable to capture, store, and share large amounts of image and video data, automatic image analysis is crucial to managing visual information. Many prob...
Kristen Grauman
ISVLSI
2007
IEEE
232views VLSI» more  ISVLSI 2007»
15 years 11 months ago
DSPstone Benchmark of CoDeL's Automated Clock Gating Platform
— We present a performance analysis of CoDeL, a highly efficient automated clock gating platform for rapidly developing power efficient hardware architectures. It automatically...
Nainesh Agarwal, Nikitas J. Dimopoulos
MM
2003
ACM
161views Multimedia» more  MM 2003»
15 years 10 months ago
MuSA.RT: music on the spiral array. real-time
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...
Elaine Chew, Alexandre R. J. François
POPL
2011
ACM
14 years 7 months ago
Making prophecies with decision predicates
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
Byron Cook, Eric Koskinen
ICIAP
2009
ACM
16 years 5 months ago
Red Eye Detection through Bag-of-Keypoints Classification
Abstract. Red eye artifacts are a well-known problem in digital photography. Small compact devices and point-and-click usage, typical of non-professional photography, greatly incre...
Sebastiano Battiato, Mirko Guarnera, Tony Meccio, ...