Sciweavers

4107 search results - page 566 / 822
» The Generalized Lambda Test
Sort
View
WSE
2002
IEEE
16 years 5 days ago
Dynamic Model Extraction and Statistical Analysis of Web Applications
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
Paolo Tonella, Filippo Ricca
SACMAT
2010
ACM
16 years 3 days ago
Monitoring security policies with metric first-order temporal logic
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
David A. Basin, Felix Klaedtke, Samuel Müller
SIGMOD
2010
ACM
174views Database» more  SIGMOD 2010»
16 years 3 days ago
Sampling dirty data for matching attributes
We investigate the problem of creating and analyzing samples of relational databases to find relationships between string-valued attributes. Our focus is on identifying attribute...
Henning Köhler, Xiaofang Zhou, Shazia Wasim S...
DAS
2010
Springer
16 years 2 days ago
IAMonDo-database: an online handwritten document database with non-uniform contents
In this paper we present a new database of online handwritten documents with different contents such as text, drawings, diagrams, formulas, tables, lists, and markings. It was de...
Emanuel Indermühle, Marcus Liwicki, Horst Bun...
GECCO
2010
Springer
194views Optimization» more  GECCO 2010»
16 years 2 days ago
Fitting multi-planet transit models to photometric time-data series by evolution strategies
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
Andreas M. Chwatal, Günther R. Raidl, Michael...