5606 search results - page 744 / 1122 » Randomization Techniques for Graphs. |
183
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces a new method based on k-Nearest Neighbors Graphs (KNNG) for bringing into alignment multiple views of the same scene acquired at two different time points. T...
209
click to vote
WISE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
160
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
173
click to vote
TCC
2007
Springer
16 years 28 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
188
click to vote
WABI
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we introduce a new method of combined synthesis and inference of biological signal transduction networks. A main idea of our method lies in representing observed cau...