Sciweavers

689 search results - page 57 / 138
» Program transformations for information personalization
Sort
View
IHIS
2005
ACM
15 years 8 months ago
Verifying web services composition based on hierarchical colored petri nets
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
Yanping Yang, QingPing Tan, Yong Xiao
ICCV
2011
IEEE
14 years 2 months ago
Informative Feature Selection for Object Recognition via Sparse PCA
Bag-of-words (BoW) methods are a popular class of object recognition methods that use image features (e.g., SIFT) to form visual dictionaries and subsequent histogram vectors to r...
Nikhil Naikal, Allen Y. Yang, S. Shankar Sastry
ISMIR
2005
Springer
127views Music» more  ISMIR 2005»
15 years 8 months ago
Fast Capture of Sheet Music for an Agile Digital Music Library
A personal digital music library needs to be “agile”, that is, it needs to make it easy to capture and index material on the fly. A digital camera is a particularly effective...
Richard Lobb, Tim Bell, David Bainbridge
146
Voted
IWMM
2007
Springer
118views Hardware» more  IWMM 2007»
15 years 8 months ago
Detecting and eliminating memory leaks using cyclic memory allocation
We present and evaluate a new technique for detecting and eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program...
Huu Hai Nguyen, Martin C. Rinard
PLDI
1996
ACM
15 years 6 months ago
Realistic Compilation by Partial Evaluation
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
Michael Sperber, Peter Thiemann