Sciweavers

20066 search results - page 295 / 4014
» T Spaces
Sort
View
SIAMCOMP
2012
13 years 9 months ago
Local Versus Global Properties of Metric Spaces
d Abstract) Sanjeev Arora∗ L´aszl´o Lov´asz† Ilan Newman‡ Yuval Rabani§ Yuri Rabinovich¶ Santosh Vempala Motivated by applications in combinatorial optimization, we ini...
Sanjeev Arora, László Lovász,...
CVPR
2009
IEEE
17 years 2 months ago
Locally Constrained Diffusion Process on Locally Densified Distance Spaces with Applications to Shape Retrieval
The matching and retrieval of 2D shapes is an important challenge in computer vision. A large number of shape similarity approaches have been developed, with the main focus bein...
Xingwei Yang (Temple University), Suzan Koknar-Tez...
DAC
2003
ACM
16 years 7 months ago
Using estimates from behavioral synthesis tools in compiler-directed design space exploration
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...
Byoungro So, Pedro C. Diniz, Mary W. Hall
SIGSOFT
2007
ACM
16 years 7 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
WWW
2008
ACM
16 years 7 months ago
Towards context-aware semantic web service discovery through conceptual situation spaces
Context-awareness is highly desired across several application domains. Semantic Web Services (SWS) enable the automatic discovery of distributed Web services based on comprehensi...
Stefan Dietze, Alessio Gugliotta, John Domingue