5022 search results - page 716 / 1005 » Data structures and problem solving using Java |
163
Voted
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
160
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Much recent work in bioinformatics has focused on the inference of various types of biological networks, representing gene regulation, metabolic processes, protein-pro...
113
click to vote
PRICAI
2004
Springer
15 years 8 months ago
2004
Springer
When we have a large amount of information, we usually use categories with a hierarchy, in which all information is assigned. This paper proposes a new method of integrating two ca...
136
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
We study the random m-ary search tree model (where m stands for the number of branches of the search tree), an important problem for data storage in computer science, using a varie...
147
click to vote
DEXA
2010
Springer
15 years 1 months ago
2010
Springer
We researched to try to find a way to reduce the cost of nearest neighbor searches in metric spaces. Many similarity search indexes recursively divide a region into subregions by u...