1141 search results - page 80 / 229 » Analyzing Electroencephalograms Using Cloud Computing Techni... |
92
Voted
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
RAID
2004
Springer
15 years 6 months ago
2004
Springer
Worm detection systems have traditionally used global strategies and focused on scan rates. The noise associated with this approach requires statistical techniques and large data s...
115
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
100
Voted
EWCBR
2008
Springer
15 years 2 months ago
2008
Springer
The use of computational methods is fundamental in cancer research. One of the possibilities is the use of Artificial Intelligence techniques. Several of these techniques have been...
118
Voted
HIS
2008
15 years 2 months ago
2008
Microarray technology allows to measure the expression levels of thousands of genes in an experiment. The use of computational methods is fundamental in cancer research. One of th...