4466 search results - page 686 / 894 » Large-Scale Data Analysis Using Heuristic Methods |
118
Voted
ICIAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents an approach based on graph cuts initially used for motion segmentation that is being applied to the nonrigid registration problem. The main contributi...
123
Voted
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
121
click to vote
ICDE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper introduces the use of wavelets for information retrieval in a peer-to-peer environment. In order to achieve our purposes, we use a new combination between broadcasting ...
142
Voted
BIODATAMINING
2008
15 years 3 months ago
2008
During the past two decades, the field of human genetics has experienced an information explosion. The completion of the human genome project and the development of high throughpu...
139
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Analysis of complex samples with tandem mass spectrometry (MS/MS) has become routine in proteomic research. However, validation of database search results creates a bo...