Sciweavers

2370 search results - page 318 / 474
» A Structured Set of Higher-Order Problems
Sort
View
EDBT
2009
ACM
241views Database» more  EDBT 2009»
16 years 1 months ago
GADDI: distance index based subgraph matching in biological networks
Currently, a huge amount of biological data can be naturally represented by graphs, e.g., protein interaction networks, gene regulatory networks, etc. The need for indexing large ...
Shijie Zhang, Shirong Li, Jiong Yang
INFOCOM
2009
IEEE
16 years 1 months ago
A Sybilproof Indirect Reciprocity Mechanism for Peer-to-Peer Networks
Abstract— Although direct reciprocity (Tit-for-Tat) contribution systems have been successful in reducing freeloading in peerto-peer overlays, it has been shown that, unless the ...
Raul Landa, David Griffin, Richard G. Clegg, Eleni...
CONCUR
2009
Springer
16 years 29 days ago
Model-Checking Games for Fixpoint Logics with Partial Order Models
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
Julian Gutierrez, Julian C. Bradfield
SCALESPACE
2009
Springer
16 years 27 days ago
Pre-image as Karcher Mean Using Diffusion Maps: Application to Shape and Image Denoising
In the context of shape and image modeling by manifold learning, we focus on the problem of denoising. A set of shapes or images being known through given samples, we capture its s...
Nicolas Thorstensen, Florent Ségonne, Renau...
WEBI
2005
Springer
15 years 12 months ago
Standardized Evaluation Method for Web Clustering Results
Finding a set of web pages relevant to a user’s information goal is difficult due to the enormous size of the Internet. Search engines are able to find a set of pages that mat...
Daniel Crabtree, Xiaoying Gao, Peter Andreae