4466 search results - page 64 / 894 » Large-Scale Data Analysis Using Heuristic Methods |
101
click to vote
CAIP
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a novel approach for automatic person labelling in video sequences using costumes. The person recognition is carried out by extracting the costumes of all the p...
116
click to vote
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
110
Voted
HICSS
1999
IEEE
15 years 6 months ago
1999
IEEE
Legacy information systems are difficult to transform into the new or upgraded information systems. Part of the reason is being the incompatibility and the unscalability between t...
132
Voted
BMCBI
2004
15 years 2 months ago
2004
Background: Eukaryotic whole genome sequences are accumulating at an impressive rate. Effective methods for comparing multiple whole eukaryotic genomes on a large scale are needed...
119
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Liquid chromatography coupled to mass spectrometry (LC/MS) has been widely used in proteomics and metabolomics research. In this context, the technology has been incre...