Sciweavers

652 search results - page 91 / 131
» Experimental Validation of Multidimensional Data Models Metr...
Sort
View
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
14 years 11 days ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
ICC
2009
IEEE
125views Communications» more  ICC 2009»
13 years 6 months ago
HMM-Web: A Framework for the Detection of Attacks Against Web Applications
Nowadays, the web-based architecture is the most frequently used for a wide range of internet services, as it allows to easily access and manage information and software on remote ...
Igino Corona, Davide Ariu, Giorgio Giacinto
ICDM
2002
IEEE
156views Data Mining» more  ICDM 2002»
14 years 1 months ago
Predicting Rare Events In Temporal Domains
Temporal data mining aims at finding patterns in historical data. Our work proposes an approach to extract temporal patterns from data to predict the occurrence of target events,...
Ricardo Vilalta, Sheng Ma
ISBRA
2007
Springer
14 years 2 months ago
A Bootstrap Correspondence Analysis for Factorial Microarray Experiments with Replications
Characterized by simultaneous measurement of the effects of experimental factors and their interactions, the economic and efficient factorial design is well accepted in microarray ...
Qihua Tan, Jesper Dahlgaard, Basem M. Abdallah, We...
WSDM
2010
ACM
210views Data Mining» more  WSDM 2010»
14 years 5 months ago
Towards Recency Ranking in Web Search
In web search, recency ranking refers to ranking documents by relevance which takes freshness into account. In this paper, we propose a retrieval system which automatically detect...
Anlei Dong, Yi Chang, Zhaohui Zheng, Gilad Mishne,...