Sciweavers

3507 search results - page 664 / 702
» Specialized execution environments
Sort
View
BMCBI
2005
302views more  BMCBI 2005»
13 years 8 months ago
CGHPRO - A comprehensive data analysis tool for array CGH
Background: Array CGH (Comparative Genomic Hybridisation) is a molecular cytogenetic technique for the genome wide detection of chromosomal imbalances. It is based on the cohybrid...
Wei Chen, Fikret Erdogan, H.-Hilger Ropers, Steffe...
MANSCI
2007
121views more  MANSCI 2007»
13 years 8 months ago
Yahoo! for Amazon: Sentiment Extraction from Small Talk on the Web
Extracting sentiment from text is a hard semantic problem. We develop a methodology for extracting small investor sentiment from stock message boards. The algorithm comprises diļ¬...
Sanjiv R. Das, Mike Y. Chen
ASE
2002
160views more  ASE 2002»
13 years 8 months ago
Proving Invariants of I/O Automata with TAME
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
Myla Archer, Constance L. Heitmeyer, Elvinia Ricco...
IJRR
2000
137views more  IJRR 2000»
13 years 8 months ago
Technology and Field Demonstration of Robotic Search for Antarctic Meteorites
: Meteorites are the only significant source of material from other planets and asteroids, and therefore are of immense scientific value. Antarctica's frozen and pristine envi...
Dimitrios Apostolopoulos, Michael D. Wagner, Benja...
TKDE
2002
166views more  TKDE 2002»
13 years 8 months ago
A Comprehensive Analytical Performance Model for Disk Devices under Random Workloads
Our goal with this paper is to contribute a common theoretical framework for studying the performance of disk-storage devices. Understanding the performance behavior of these devi...
Peter Triantafillou, Stavros Christodoulakis, Cost...