Sciweavers

6249 search results - page 1087 / 1250
» Topological Informational Spaces
Sort
View
IEEESCC
2010
IEEE
15 years 8 months ago
An Assessment of Middleware Platforms for Accessing Remote Services
Due to the shift from software-as-a-product (SaaP) to software-as-a-service (SaaS), software components that were developed to run in a single address space must increasingly be a...
Young-Woo Kwon, Eli Tilevich, William R. Cook
CASES
2008
ACM
15 years 8 months ago
Control flow optimization in loops using interval analysis
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau
AMFG
2005
IEEE
164views Biometrics» more  AMFG 2005»
15 years 8 months ago
Pose-Encoded Spherical Harmonics for Robust Face Recognition Using a Single Image
Abstract. Face recognition under varying pose is a challenging problem, especially when illumination variations are also present. Under Lambertian model, spherical harmonics repres...
Zhanfeng Yue, Wenyi Zhao, Rama Chellappa
CHINZ
2005
ACM
15 years 8 months ago
Graphical abstract help
re the use of abstracted screenshots as part of a new help interface. Graphstract, an implementation of a graphical help system, extends the ideas of textually oriented Minimal Ma...
Jeff Huang, Bo Lu, Michael B. Twidale
ICALP
2010
Springer
15 years 8 months ago
Example-Guided Abstraction Simplification
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
Roberto Giacobazzi, Francesco Ranzato
« Prev « First page 1087 / 1250 Last » Next »