Sciweavers

3689 search results - page 66 / 738
» The Branding Analysis Pattern
Sort
View
ENTCS
2010
104views more  ENTCS 2010»
15 years 6 months ago
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov
SIGKDD
2008
125views more  SIGKDD 2008»
15 years 6 months ago
Incremental pattern discovery on streams, graphs and tensors
Incremental pattern discovery targets streaming applications where the data continuously arrive incrementally. The questions are how to find patterns (main trends) incrementally; ...
Jimeng Sun
ISMB
2000
15 years 7 months ago
Analysis of Gene Expression Microarrays for Phenotype Classification
Several microarray technologies that monitor the level of expression of a large number of genes have recently emerged. Given DNA-microarray data for a set of cells characterized b...
Andrea Califano, Gustavo Stolovitzky, Yuhai Tu
WWW
2008
ACM
16 years 6 months ago
Deciphering mobile search patterns: a study of Yahoo! mobile search queries
In this paper we study the characteristics of search queries submitted from mobile devices using various Yahoo! oneSearch applications during a 2 months period in the second half ...
Jeonghee Yi, Farzin Maghoul, Jan O. Pedersen
OSDI
2008
ACM
16 years 6 months ago
Empirical Analysis on Energy Efficiency of Flash-based SSDs
This paper analyzes the power consumption patterns and the energy efficiency of flash-based SSDs using microbenchmarks for raw I/Os as well as macrobenchmarks with two different f...
Euiseong Seo, Seon-Yeong Park, Bhuvan Urgaonkar