Sciweavers

8917 search results - page 1568 / 1784
» Abstraction in Algorithm Animation
Sort
View
SEBD
2000
112views Database» more  SEBD 2000»
15 years 5 months ago
Correct and efficient evaluation of region-based image search
Abstract. Content-based image retrieval systems allow the user to interactively search image databases looking for those images which are similar to a specified query image. To thi...
Ilaria Bartolini, Marco Patella
DAGSTUHL
1996
15 years 5 months ago
Pragmatics of Type-Directed Partial Evaluation
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
Olivier Danvy
127
Voted
AAAI
1992
15 years 5 months ago
Causal Approximations
models require the identi cation of abstractions and approximations that are well suited to the task at hand. In this paper we analyze the problem of automatically selecting adequ...
P. Pandurang Nayak
WCE
2007
15 years 5 months ago
A Patch-by-Patch Shape Matching Procedure for Rigid Body Docking
Abstract—Docking simulates molecular interactions. Protein - protein docking, owing to the sizes of molecules, is a very challenging problem. As the number of degrees of freedom ...
Vipin K. Tripathi
ADHOCNOW
2008
Springer
15 years 5 months ago
Communication in Random Geometric Radio Networks with Positively Correlated Random Faults
Abstract. We study the feasibility and time of communication in random geometric radio networks, where nodes fail randomly with positive correlation. We consider a set of radio sta...
Evangelos Kranakis, Michel Paquette, Andrzej Pelc
« Prev « First page 1568 / 1784 Last » Next »